:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Carai, Luca, Moraschini, Tommaso
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2409.03640
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The theory of implicit operations
by: Carai, Luca, et al.
Published: (2025)

An addendum to "The theory of implicit operations"
by: Carai, Luca, et al.
Published: (2025)

Congruence permutability in quasivarieties
by: Carai, Luca, et al.
Published: (2025)

Bounded depth in Hilbert algebras
by: Carai, Luca, et al.
Published: (2026)

A categorical description of simple Beth companions
by: Carai, Luca, et al.
Published: (2026)

A completion of reduced commutative rings
by: Carai, Luca, et al.
Published: (2026)

Epimorphisms between finitely generated algebras
by: Carai, Luca, et al.
Published: (2024)

Implicit operations in varieties of commutative monoids
by: Carai, Luca, et al.
Published: (2026)

Local Tabularity is Decidable for Bi-Intermediate Logics of Trees and of Co-Trees
by: Martins, Miguel, et al.
Published: (2024)

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

Trees and spectra of Heyting algebras
by: Fornasiere, Damiano, et al.
Published: (2024)

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

Degrees of the finite model property: the antidichotomy theorem
by: Bezhanishvili, Guram, et al.
Published: (2023)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
by: Abbadini, Marco, et al.
Published: (2022)

Failure of Esakia's theorem in the monadic setting
by: Bezhanishvili, Guram, et al.
Published: (2024)

Esakia's theorem for the amended monadic intuitionistic calculus
by: Bezhanishvili, Guram, et al.
Published: (2025)

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

Bi-intermediate logics of trees and co-trees
by: Bezhanishvili, N., et al.
Published: (2022)

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

Elementary properties of free lattices II: Decidability of the universal theory
by: Nation, J. B., et al.
Published: (2025)

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

Connecting generalized Priestley duality to Hofmann-Mislove-Stralka duality
by: Bezhanishvili, Guram, et al.
Published: (2022)

Generalization of terms via universal algebra
by: Flaminio, Tommaso, et al.
Published: (2025)

A calculus for modal compact Hausdorff spaces
by: Bezhanishvili, Nick, et al.
Published: (2024)

Duality Theory for Bounded Lattices: A Comparative Study
by: Bezhanishvili, Guram, et al.
Published: (2025)

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

A proof theory of (omega-)context-free languages, via non-wellfounded proofs
by: Das, Anupam, et al.
Published: (2024)

Superamalgamation for modal lattices via non-distributive dualities
by: Almeida, Rodrigo Nicolau, et al.
Published: (2026)

Undecidability of the elementary theory of Young--Fibonacci lattice
by: Evtushevsky, Vsevolod
Published: (2024)

The equational theory of the Weihrauch lattice with multiplication
by: Neumann, Eike, et al.
Published: (2024)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

Elementary properties of free lattices III: Undecidability of the full theory
by: Nation, J. B., et al.
Published: (2025)

The model theory of metric lattices: pseudofinite partition lattices
by: Mantilla, José Contreras, et al.
Published: (2025)

Sharing proofs with predicative theories through universe-polymorphic elaboration
by: Felicissimo, Thiago, et al.
Published: (2023)

Pointed lattice subreducts of varieties of residuated lattices
by: Přenosil, Adam
Published: (2023)

Nelson algebras, residuated lattices and rough sets: A survey
by: Järvinen, Jouni, et al.
Published: (2024)

Refutation calculi for lattice-based logics: from display to tableaux
by: De Domenico, Andrea, et al.
Published: (2026)

Strict universes for Grothendieck topoi
by: Gratzer, Daniel, et al.
Published: (2022)

Reflecting compact $T_1$-spaces into bounded distributive lattices
by: Gehrke, Mai, et al.
Published: (2024)

Cut-elimination for the alternation-free modal mu-calculus
by: Afshari, Bahareh, et al.
Published: (2025)