Buchumschlag

Quasivarieties of p-algebras: some new results

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kowalski, Tomasz, Słomczyńska, Katarzyna
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 06D15 (Primary) 03B20 (Secondary)
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Free p-algebras revisited: an algebraic investigation of implication-free intuitionism
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Decidable varieties of p-algebras
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

Connexive logics and connexive semi-Heyting algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2025)

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

Kites and representations of pseudo MV-algebras
von: Botur, Michal, et al.
Veröffentlicht: (2025)

Apartness relations between propositions
von: Kocsis, Zoltan A.
Veröffentlicht: (2022)

Unorthodox Algebras and their associated Unorthodox Logics
von: Sankappanavar, Hanamantagouda P.
Veröffentlicht: (2025)

Splittings in varieties of logic
von: Davey, Brian A., et al.
Veröffentlicht: (2025)

Implications in pseudocomplemented and Stone lattices
von: Chajda, Ivan, et al.
Veröffentlicht: (2024)

The bottom of the lattice of BCK-varieties
von: Kowalski, Tomasz
Veröffentlicht: (2024)

Diamonds and Dominoes: Impossibility Results for Associative Modal Logics
von: Knudstorp, Søren Brinck
Veröffentlicht: (2025)

Free algebras and coproducts in varieties of Gödel algebras
von: Carai, Luca
Veröffentlicht: (2024)

A Minimal Substitution Basis for the Kalmár Elementary Functions
von: Prunescu, Mihai, et al.
Veröffentlicht: (2025)

Stone type representation theorems via games
von: Aslan, Tuğba, et al.
Veröffentlicht: (2018)

Minimal signatures with undecidability of representability by binary relations
von: Hirsch, Robin, et al.
Veröffentlicht: (2024)

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

Preconditionals
von: Holliday, Wesley H.
Veröffentlicht: (2024)

Failure of the Blok-Esakia Theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

(Extra)ordinary equivalences with the ascending/descending sequence principle
von: Fiori-Carones, Marta, et al.
Veröffentlicht: (2021)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
von: Cipriani, Vittorio, et al.
Veröffentlicht: (2022)

The unification type of Lukasiewicz logic with a bounded number of variables
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
von: Tanaka, Yoshihito
Veröffentlicht: (2025)

Generalized Higman's Theorem and iterated ideals
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2025)

Two-dimensional Kripke Semantics I: Presheaves
von: Kavvos, G. A.
Veröffentlicht: (2024)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
von: Holliday, Wesley H.
Veröffentlicht: (2022)

Locally Integral Involutive PO-Semigroups
von: Gil-Férez, José, et al.
Veröffentlicht: (2023)

Maximality Principles in Modal Logic and the Axiom of Choice
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2024)

The structure of rough sets defined by reflexive relations
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

Forking and invariant types in regular ordered Abelian groups
von: Hossain, Akash
Veröffentlicht: (2023)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
von: Vodrazka, Daniel
Veröffentlicht: (2025)

Strong reducibilities and set theory
von: Schweber, Noah
Veröffentlicht: (2024)

Amalgamation Property in the subvarieties of Gautama and Almost Gautama algebras
von: Cornejo, Juan M., et al.
Veröffentlicht: (2024)

Two-dimensional Kripke Semantics II: Stability and Completeness
von: Kavvos, G. A.
Veröffentlicht: (2024)

A simplified lower bound for implicational logic
von: Jeřábek, Emil
Veröffentlicht: (2023)

Coexact completion of profinite Heyting algebras and uniform interpolation
von: Ye, Lingyuan
Veröffentlicht: (2026)

The $π$-property of a Banach space along a filter
von: Kania, Tomasz, et al.
Veröffentlicht: (2025)

Uniform Interpolation
von: van Gool, Sam
Veröffentlicht: (2025)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
von: Kołodziejczyk, Leszek Aleksander, et al.
Veröffentlicht: (2026)

Intuitionism and computing with partial information
von: Ganchev, Hristo, et al.
Veröffentlicht: (2026)

On some new metric characterisations of Hilbert spaces
von: Sofi, M. A.
Veröffentlicht: (2024)