Cover Image

Splittings in varieties of logic

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Davey, Brian A., Kowalski, Tomasz, Taylor, Christopher J.
Format:	Preprint
Published:	2025
Subjects:	Logic 08B15 (Primary) 03G10, 06F99 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

The bottom of the lattice of BCK-varieties
by: Kowalski, Tomasz
Published: (2024)

Connexive logics and connexive semi-Heyting algebras
by: Cornejo, Juan M., et al.
Published: (2025)

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
by: Kowalski, Tomasz, et al.
Published: (2024)

Locally Integral Involutive PO-Semigroups
by: Gil-Férez, José, et al.
Published: (2023)

Unorthodox Algebras and their associated Unorthodox Logics
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Quasivarieties of p-algebras: some new results
by: Kowalski, Tomasz, et al.
Published: (2024)

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

Sub-sub-intuitionistic logic
by: Deakin, Jonte, et al.
Published: (2024)

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

Johnson's axioms revisited: Bases for Boolean algebras containing identities of associative type. I
by: Sankappanavar, Hanamantagouda P.
Published: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Kites and representations of pseudo MV-algebras
by: Botur, Michal, et al.
Published: (2025)

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

Modal logic, fundamentally
by: Holliday, Wesley H.
Published: (2024)

Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
by: Howlader, Prosenjit, et al.
Published: (2026)

(Extra)ordinary equivalences with the ascending/descending sequence principle
by: Fiori-Carones, Marta, et al.
Published: (2021)

On orthoposets of numerical events in quantum logic
by: Dorninger, Dietmar, et al.
Published: (2026)

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

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
by: Lin, Chun-Yu, et al.
Published: (2025)

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

Congruence Extensions in Congruence-modular Varieties
by: Georgescu, George, et al.
Published: (2020)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
by: Oddsson, Hrafn Valtýr
Published: (2026)

Model Theory of Local Real Closed SV-Rings of Finite Rank
by: Piepenborn, Ricardo Palomino
Published: (2024)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
by: Holliday, Wesley H.
Published: (2022)

Sometimes tame, sometimes wild: weak continuity
by: Sanders, Sam
Published: (2024)

Preconditionals
by: Holliday, Wesley H.
Published: (2024)

Definable Obstruction Theory
by: Meadows, Nicholas
Published: (2025)

A classical-logic view on a paraconsistent logic
by: Middelburg, C. A.
Published: (2020)

Existential completions and Herbrand's theorem
by: Wrigley, Joshua L.
Published: (2025)

Assume-guarantee contract algebras are dp-algebras
by: Castiglioni, Jose Luis, et al.
Published: (2024)

Independent joins of tolerance factorable varieties
by: Chajda, Ivan, et al.
Published: (2012)

A simplified lower bound for implicational logic
by: Jeřábek, Emil
Published: (2023)

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

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
by: Tanaka, Yoshihito
Published: (2025)

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

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

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

Almost refinement, reaping, and ultrafilter numbers
by: Brendle, Jörg, et al.
Published: (2024)