Cover Image

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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Koshkin, Sergiy
Format:	Preprint
Published:	2024
Subjects:	Logic Databases Logic in Computer Science Rings and Algebras 03G15 68P15 03B10 03E20 03A05 08A40 08A70 03B70 03-03
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Is Peirce's reduction thesis gerrymandered?
by: Koshkin, Sergiy
Published: (2024)

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

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

Clones of Borel Boolean Functions
by: Chen, Ruiyuan, et al.
Published: (2024)

Formalizing Pfaffian in bounded arithmetic
by: Kuroda, Satoru
Published: (2024)

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

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

On piecewise hyperdefinable groups
by: Fanlo, Arturo Rodriguez
Published: (2020)

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

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

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

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

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

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

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

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

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

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

Logic families
by: Andréka, H., et al.
Published: (2023)

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

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

Universal Algebra in UniMath
by: Amato, Gianluca, et al.
Published: (2021)

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

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

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

NF is Consistent
by: Holmes, M. Randall, et al.
Published: (2015)

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

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

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

Maximal order types for sequences with gap condition
by: Uftring, Patrick
Published: (2025)

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

Tense logics based on posets
by: Chajda, Ivan, et al.
Published: (2024)

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

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

Constructing maximal cofinitary groups
by: Schrittesser, David
Published: (2021)

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

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

Connexive implications in Substructural Logics
by: Fazio, Davide, et al.
Published: (2022)

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

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