Cover Image

Logic families

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andréka, H., Gyenis, Z., Németi, I., Sain, I.
Format:	Preprint
Published:	2023
Subjects:	Logic 03G27, 03C95, 03G30, 03C05, 03B10, 03G15
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

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

Algebraizable Weak Logics
by: Nakov, Georgi, et al.
Published: (2022)

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

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

A Note on Los's Theorem for Kripke-Joyal Semantics
by: Aiguier, Marc, et al.
Published: (2024)

A minimalist two-level foundation for constructive mathematics
by: Maietti, Maria Emilia
Published: (2008)

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

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

Uniform Interpolation
by: van Gool, Sam
Published: (2025)

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

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

Biased elementary doctrines and quotient completions
by: Cioffo, Cipriano Junior
Published: (2023)

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

Cartagena Logic
by: Kivimäki, Siiri, et al.
Published: (2021)

Intuitionism and computing with partial information
by: Ganchev, Hristo, et al.
Published: (2026)

On Some Infinitary Logics
by: Vaananen, Jouko, et al.
Published: (2024)

Imaginaries, products and the adele ring
by: Derakhshan, Jamshid, et al.
Published: (2023)

The prime spectrum of an $L$-algebra
by: Rump, W., et al.
Published: (2022)

A complicated family of trees with omega + 1 levels
by: Shelah, Saharon
Published: (2014)

Interpolation in Hájek's Basic Logic
by: Fussner, Wesley, et al.
Published: (2024)

Duality theory for categorical theories
by: Ye, Lingyuan
Published: (2026)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

Categorical structure in coherent theory of arithmetic
by: Ye, Lingyuan
Published: (2023)

Minimal Axiomatization of Boolean Algebras
by: Zhang, Eugene
Published: (2023)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

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

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Possibility Frames and Forcing for Modal Logic
by: Holliday, Wesley H.
Published: (2025)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
by: Knudstorp, Søren Brinck
Published: (2025)

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

Generalized Explosion Principles: A Semantic Perspective
by: Basu, Sankha S., et al.
Published: (2025)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

Independence questions in a finite axiom-schematization of first-order logic
by: Jubin, Benoit
Published: (2022)

A Completeness Theorem for Topological Doctrines
by: Ghilardi, Silvio, et al.
Published: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Algorithmic correspondence and analytic rules
by: De Domenico, Andrea, et al.
Published: (2022)