Cover Image

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kowalski, Tomasz, Słomczyńska, Katarzyna
Format:	Preprint
Published:	2024
Subjects:	Logic 06D15 (Primary), 06D20, 03G10 (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)

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

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

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

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

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

Correspondence Theory for Many-valued Modal Logic
by: Britz, Cecelia, et al.
Published: (2024)

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

Splittings in varieties of logic
by: Davey, Brian A., et al.
Published: (2025)

Free algebras and coproducts in varieties of Gödel algebras
by: Carai, Luca
Published: (2024)

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

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

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

Computability of Separation Axioms in Countable Second Countable Spaces
by: DeLapo, Andrew, et al.
Published: (2025)

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

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

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

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

Apartness relations between propositions
by: Kocsis, Zoltan A.
Published: (2022)

Implications in pseudocomplemented and Stone lattices
by: Chajda, Ivan, et al.
Published: (2024)

Kleene and Stone algebras of rough sets induced by reflexive relations
by: Järvinen, Jouni, et al.
Published: (2026)

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

Blockwise Gluings And Amalgamation Failures in Integral Residuated Lattices
by: Giustarini, Valeria, et al.
Published: (2024)

Two-dimensional Kripke Semantics I: Presheaves
by: Kavvos, G. A.
Published: (2024)

The unification type of Lukasiewicz logic with a bounded number of variables
by: Abbadini, Marco, et al.
Published: (2025)

Sylow subgroups and the number of irreducible characters of degrees divisible by a prime $p$
by: Cossey, James P., et al.
Published: (2025)

Two-dimensional Kripke Semantics II: Stability and Completeness
by: Kavvos, G. A.
Published: (2024)

Maximality Principles in Modal Logic and the Axiom of Choice
by: Almeida, Rodrigo Nicolau, et al.
Published: (2024)

Minimal signatures with undecidability of representability by binary relations
by: Hirsch, Robin, et al.
Published: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Possibility Semantics
by: Holliday, Wesley H.
Published: (2024)

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

L-algebras and their ideals: from simplicity to semidirect products
by: Properzi, Silvia, et al.
Published: (2025)

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

Groups with a conjugacy class that is the difference of two normal subgroups
by: Lewis, Mark L., et al.
Published: (2026)

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

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

On duality and model theory for polyadic spaces
by: van Gool, Sam, et al.
Published: (2022)

Intuitionistic Sahlqvist theory for deductive systems
by: Fornasiere, Damiano, et al.
Published: (2022)

On the structure of modal and tense operators on a boolean algebra
by: Bezhanishvili, Guram, et al.
Published: (2023)