:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Abbadini, Marco, Přenosil, Adam
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2505.11490
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Levin's and Prucnal's theorems on Medvedev's logic of finite problems
by: Přenosil, Adam
Published: (2024)

Duality for coalgebras for Vietoris and monadicity
by: Abbadini, Marco, et al.
Published: (2023)

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

Nagata products of bimodules over residuated lattices
by: Přenosil, Adam, et al.
Published: (2025)

Sequent calculi for first-order ST
by: Paoli, Francesco, et al.
Published: (2026)

Equational definitions of logical filters
by: Baldi, Michele Pra, et al.
Published: (2024)

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

On the axiomatisability of the dual of compact ordered spaces
by: Abbadini, Marco
Published: (2025)

Equivalence of multiset-based consequence relations
by: Madanshekaf, Ali, et al.
Published: (2024)

On the structure of balanced residuated partially ordered monoids
by: Bonzio, Stefano, et al.
Published: (2024)

Unital Specker $\ell$-groups and boolean multispaces
by: Abbadini, Marco, et al.
Published: (2025)

Varieties of MV-monoids and positive MV-algebras
by: Abbadini, Marco, et al.
Published: (2024)

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

Balanced residuated partially ordered semigroups
by: Bonzio, Stefano, et al.
Published: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

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

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Stone-Gelfand duality for metrically complete lattice-ordered groups
by: Abbadini, Marco, et al.
Published: (2022)

On the symmetry behind duality
by: Abbadini, Marco, et al.
Published: (2025)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
by: Craig, Andrew, et al.
Published: (2025)

Topological Dualities for Modal Algebras
by: Collinson, Matthew
Published: (2026)

Etale algebras over finite Heyting algebras
by: Evgeny, Kuznetsov
Published: (2024)

Relative model completeness of henselian valued fields with finite ramification and various value groups
by: De Mase, Anna
Published: (2023)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
by: Hartonas, Chrysafis
Published: (2021)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
by: Das, Litan Kumar, et al.
Published: (2023)

Some applications of finite BL-algebras
by: Flaut, Cristina, et al.
Published: (2025)

Strongly minimal group relics of algebraically closed valued fields
by: Onshuus, Alf, et al.
Published: (2024)

Tree algebras and bisimulation-invariant MSO on finite graphs
by: Colcombet, Thomas, et al.
Published: (2024)

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations
by: Leandro, Bryan González
Published: (2026)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

Kleene algebra with commutativity conditions is undecidable
by: de Amorim, Arthur Azevedo, et al.
Published: (2024)

Difference-restriction algebras with operators
by: Borlido, Célia, et al.
Published: (2025)

Gabriel-Ulmer Duality for Topoi, An Introduction
by: Pasqualone, Federica
Published: (2024)

Convex algebras on an interval with semicontinuous monotone operations
by: Sokolova, Ana, et al.
Published: (2026)

Topologically valued transition structures
by: Collinson, Matthew
Published: (2026)

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

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
by: Alvarez, David Quinn
Published: (2025)

Local structure of idempotent algebras I
by: Bulatov, Andrei A.
Published: (2020)

A concrete model for a typed linear algebraic lambda calculus
by: Díaz-Caro, Alejandro, et al.
Published: (2018)