Buchumschlag

On the universal theory of the free pseudocomplemented distributive lattice

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Carai, Luca, Moraschini, Tommaso
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

The theory of implicit operations
von: Carai, Luca, et al.
Veröffentlicht: (2025)

An addendum to "The theory of implicit operations"
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Congruence permutability in quasivarieties
von: Carai, Luca, et al.
Veröffentlicht: (2025)

Bounded depth in Hilbert algebras
von: Carai, Luca, et al.
Veröffentlicht: (2026)

A categorical description of simple Beth companions
von: Carai, Luca, et al.
Veröffentlicht: (2026)

A completion of reduced commutative rings
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Epimorphisms between finitely generated algebras
von: Carai, Luca, et al.
Veröffentlicht: (2024)

Implicit operations in varieties of commutative monoids
von: Carai, Luca, et al.
Veröffentlicht: (2026)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
von: Martins, Miguel, et al.
Veröffentlicht: (2024)

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

Trees and spectra of Heyting algebras
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2024)

Degrees of the finite model property: the antidichotomy theorem
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2023)

Intuitionistic Sahlqvist theory for deductive systems
von: Fornasiere, Damiano, et al.
Veröffentlicht: (2022)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
von: Abbadini, Marco, et al.
Veröffentlicht: (2022)

Bi-intermediate logics of trees and co-trees
von: Bezhanishvili, N., et al.
Veröffentlicht: (2022)

Failure of Esakia's theorem in the monadic setting
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

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

Elementary properties of free lattices II: Decidability of the universal theory
von: Nation, J. B., et al.
Veröffentlicht: (2025)

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

Generalization of terms via universal algebra
von: Flaminio, Tommaso, et al.
Veröffentlicht: (2025)

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

Superamalgamation for modal lattices via non-distributive dualities
von: Almeida, Rodrigo Nicolau, et al.
Veröffentlicht: (2026)

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2022)

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
von: Das, Anupam, et al.
Veröffentlicht: (2024)

Undecidability of the elementary theory of Young--Fibonacci lattice
von: Evtushevsky, Vsevolod
Veröffentlicht: (2024)

A calculus for modal compact Hausdorff spaces
von: Bezhanishvili, Nick, et al.
Veröffentlicht: (2024)

The equational theory of the Weihrauch lattice with multiplication
von: Neumann, Eike, et al.
Veröffentlicht: (2024)

The equational theory of the Weihrauch lattice with (iterated) composition
von: Pradic, Cécilia
Veröffentlicht: (2024)

Duality Theory for Bounded Lattices: A Comparative Study
von: Bezhanishvili, Guram, et al.
Veröffentlicht: (2025)

Elementary properties of free lattices III: Undecidability of the full theory
von: Nation, J. B., et al.
Veröffentlicht: (2025)

The model theory of metric lattices: pseudofinite partition lattices
von: Mantilla, José Contreras, et al.
Veröffentlicht: (2025)

Pointed lattice subreducts of varieties of residuated lattices
von: Přenosil, Adam
Veröffentlicht: (2023)

Sharing proofs with predicative theories through universe-polymorphic elaboration
von: Felicissimo, Thiago, et al.
Veröffentlicht: (2023)

Nelson algebras, residuated lattices and rough sets: A survey
von: Järvinen, Jouni, et al.
Veröffentlicht: (2024)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
von: Abbadini, Marco, et al.
Veröffentlicht: (2025)

Refutation calculi for lattice-based logics: from display to tableaux
von: De Domenico, Andrea, et al.
Veröffentlicht: (2026)

Gelfand residuated lattices
von: Rasouli, Saeed, et al.
Veröffentlicht: (2022)

Strict universes for Grothendieck topoi
von: Gratzer, Daniel, et al.
Veröffentlicht: (2022)

Cut-elimination for the alternation-free modal mu-calculus
von: Afshari, Bahareh, et al.
Veröffentlicht: (2025)