Imagen de Portada

Logical reduction of relations: from relational databases to Peirce's reduction thesis

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Koshkin, Sergiy
Formato:	Preprint
Publicado:	2024
Materias:	Logic Databases Logic in Computer Science Rings and Algebras 03G15 68P15 03B10 03E20 03A05 08A40 08A70 03B70 03-03
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Is Peirce's reduction thesis gerrymandered?
por: Koshkin, Sergiy
Publicado: (2024)

The variety of coset relation algebras
por: Givant, Steven, et al.
Publicado: (2018)

The Golden Path to Guarded Monotone Strict NP
por: Barsukov, Alexey, et al.
Publicado: (2023)

Clones of Borel Boolean Functions
por: Chen, Ruiyuan, et al.
Publicado: (2024)

Formalizing Pfaffian in bounded arithmetic
por: Kuroda, Satoru
Publicado: (2024)

Generalization of terms via universal algebra
por: Flaminio, Tommaso, et al.
Publicado: (2025)

Finite sets, mappings, cardinals, and arithmetic in intuitionistic NF
por: Beeson, Michael
Publicado: (2021)

On piecewise hyperdefinable groups
por: Fanlo, Arturo Rodriguez
Publicado: (2020)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
por: Lyon, Tim S.
Publicado: (2025)

Testing definitional equivalence of theories via automorphism groups
por: Andréka, H., et al.
Publicado: (2022)

Normalization properties of $λμ$-calculus using realizability semantics
por: Battyanyi, Peter, et al.
Publicado: (2023)

The complexity of being monitorable
por: Camerlo, Riccardo, et al.
Publicado: (2026)

Multisorted Boolean Clones Determined by Binary Relations up to Minion Homomorphisms
por: Barto, Libor, et al.
Publicado: (2024)

Finite models for positive combinatorial and exponential algebra
por: Alsulami, Tumadhir, et al.
Publicado: (2024)

Nontrivial single axiom schemata and their quasi-nontriviality of Leśniewski-Ishimoto's propositional ontology $\bf L_1$
por: Inoué, Takao, et al.
Publicado: (2024)

Nonrepresentable relation algebras from group systems
por: Andréka, H., et al.
Publicado: (2018)

Transposition of variables is hard to describe
por: Andréka, H., et al.
Publicado: (2024)

First-Order Modal Logic via Logical Categories
por: Ghilardi, Silvio, et al.
Publicado: (2025)

Logic families
por: Andréka, H., et al.
Publicado: (2023)

Craig Interpolation for Subgeometric Logics
por: Di Liberti, Ivan, et al.
Publicado: (2026)

Cardinality in a paraconsistent and paracomplete set theory
por: Oddsson, Hrafn Valtýr
Publicado: (2026)

Universal Algebra in UniMath
por: Amato, Gianluca, et al.
Publicado: (2021)

In Memoriam Vadim Anatol'evich Yankov (1935-2024)
por: Citkin, Alex, et al.
Publicado: (2025)

Mal'cev clones over a three-element set up to minor-equivalence
por: Fioravanti, Stefano, et al.
Publicado: (2025)

Why the classes P and NP are not well-defined finitarily
por: Anand, Bhupinder Singh
Publicado: (2024)

NF is Consistent
por: Holmes, M. Randall, et al.
Publicado: (2015)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
por: Cornejo, Juan M., et al.
Publicado: (2024)

Scott sentence complexities of linear orderings
por: Gonzalez, David, et al.
Publicado: (2023)

Adding an Implication to Logics of Perfect Paradefinite Algebras
por: Greati, Vitor, et al.
Publicado: (2023)

Maximal order types for sequences with gap condition
por: Uftring, Patrick
Publicado: (2025)

Librationism & its classical and extraclassical set theories
por: Bjørdal, Frode A.
Publicado: (2022)

Tense logics based on posets
por: Chajda, Ivan, et al.
Publicado: (2024)

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$
por: Shapirovsky, Ilya B., et al.
Publicado: (2025)

Aristotle's Second-Order Logic and Natural Deduction
por: Protin, Clarence
Publicado: (2023)

Constructing maximal cofinitary groups
por: Schrittesser, David
Publicado: (2021)

Categoricity for an inferential $ω$-logic and in $L_{ω_1,ω}$
por: Baldwin, John T., et al.
Publicado: (2026)

Carnapian Frameworks and Categoricity of Arithmetic via Inferential $ω$-logics
por: Baldwin, John T., et al.
Publicado: (2026)

Connexive implications in Substructural Logics
por: Fazio, Davide, et al.
Publicado: (2022)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
por: Leme, Renato, et al.
Publicado: (2023)

The fork and its role in unification of closure algebras
por: Düntsch, Ivo, et al.
Publicado: (2023)