:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Zhang, Eugene
Format:	Preprint
Published:	2023
Subjects:	Logic 03G05, 03G25
Online Access:	https://arxiv.org/abs/2304.02224
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Free five-valued Nelson Algebras
by: Cornejo, Juan Manuel, et al.
Published: (2025)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

Conditional algebras
by: Celani, Sergio, et al.
Published: (2024)

Residuated lattices do not have the amalgamation property
by: Jipsen, Peter, et al.
Published: (2025)

Subresiduated Nelson Algebras
by: Lubomirsky, Noemí, et al.
Published: (2024)

Models for the common knowledge logic
by: Tanaka, Yoshihito
Published: (2024)

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

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

Ultracontact algebras and stack systems
by: Carai, Luca, et al.
Published: (2026)

From Internal to External: Classical Models of ZF + PP + $\neg$AC
by: Gilson, Frank
Published: (2025)

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

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

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
by: Ramani, Mahesh, et al.
Published: (2026)

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

On the structure of Bochvar algebras
by: Bonzio, Stefano, et al.
Published: (2023)

An explicit Kuznetsov-Muravitsky enrichment
by: Jibladze, Mamuka, et al.
Published: (2024)

Maehara Interpolation in Extensions of R-mingle
by: Fussner, Wesley, et al.
Published: (2025)

Length and ultraproducts
by: Garti, Shimon, et al.
Published: (2018)

Diagrams of opposition: an algebraic viewpoint
by: Wu, Chai Wah
Published: (2024)

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

Quantales carrying ortholattice structure
by: Botur, Michal, et al.
Published: (2026)

Normal forms and representable functions in Moisil logic
by: Sipos, Andrei
Published: (2023)

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

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

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

Bochvar algebras: A categorical equivalence and the generated variety
by: Bonzio, Stefano, et al.
Published: (2024)

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

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
by: Coquand, Thierry, et al.
Published: (2017)

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

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

On quantitative convergence for stochastic processes: Crossings, fluctuations and martingales
by: Neri, Morenikeji, et al.
Published: (2024)

Relation Algebras Compatible with $\mathbb{Z}_2$-sets
by: Alm, Jeremy F., et al.
Published: (2025)

Higher stationarity and derived topologies on $\mathcal{P}_κ(A)$
by: Torres, M. Catalina
Published: (2024)

Axiomatizations of Presburger Arithmetic With Predicates For Powers
by: Hieronymi, Philipp, et al.
Published: (2026)

Relation Algebra Representations from Distance-Regular Graphs
by: Atkins, Eli
Published: (2026)

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

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

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Constructing crowded Hausdorff $P$-spaces in set theory without the axiom of choice
by: Tachtsis, Eleftherios, et al.
Published: (2025)

Decidable varieties of p-algebras
by: Kowalski, Tomasz, et al.
Published: (2024)