Buchumschlag

Decidable varieties of p-algebras

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kowalski, Tomasz, Słomczyńska, Katarzyna
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic 03G10 (Primary) 06D15, 03B25 (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)

Quasivarieties of p-algebras: some new results
von: Kowalski, Tomasz, et al.
Veröffentlicht: (2024)

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

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

Splittings in varieties of logic
von: Davey, Brian A., 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)

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

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

Term algebras of elementarily equivalent atom structures
von: Andréka, H., et al.
Veröffentlicht: (2018)

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

On the structure of Bochvar algebras
von: Bonzio, Stefano, et al.
Veröffentlicht: (2023)

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

Ultracontact algebras and stack systems
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Correspondence Theory for Many-valued Modal Logic
von: Britz, Cecelia, et al.
Veröffentlicht: (2024)

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

Neighborhood and algebraic models for predicate modal logics with $ω$-rules
von: Tanaka, Yoshihito
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)

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

The prime spectrum of an $L$-algebra
von: Rump, W., et al.
Veröffentlicht: (2022)

Normal forms and representable functions in Moisil logic
von: Sipos, Andrei
Veröffentlicht: (2023)

The Borel monadic theory of order is decidable
von: Manthe, Sven
Veröffentlicht: (2024)

Infinite-Exponent Partition Relations on Higher Analogues of the Real Line
von: Gardiner, Lyra A., et al.
Veröffentlicht: (2026)

A classical-logic view on a paraconsistent logic
von: Middelburg, C. A.
Veröffentlicht: (2020)

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

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

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

An equiconsistency proof for $\mathrm{CZF} + V = L$
von: Wang, Shuwei
Veröffentlicht: (2026)

Maehara Interpolation in Extensions of R-mingle
von: Fussner, Wesley, et al.
Veröffentlicht: (2025)

Local finiteness in varieties of MS4-algebras
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

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

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
von: Houérou, Quentin Le, et al.
Veröffentlicht: (2026)

Algorithmic correspondence and analytic rules
von: De Domenico, Andrea, et al.
Veröffentlicht: (2022)

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)

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

Sub-sub-intuitionistic logic
von: Deakin, Jonte, et al.
Veröffentlicht: (2024)

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

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

The finitary partitions with $n$ non-singleton blocks of a set
von: Hu, Yifan, et al.
Veröffentlicht: (2024)

Local reflections of choice
von: Ryan-Smith, Calliope
Veröffentlicht: (2024)

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