Image de couverture de livre

Duality for finitely valued algebras

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Abbadini, Marco, Přenosil, Adam
Format:	Preprint
Publié:	2025
Sujets:	Logic
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Duality for coalgebras for Vietoris and monadicity
par: Abbadini, Marco, et autres
Publié: (2023)

Pointed lattice subreducts of varieties of residuated lattices
par: Přenosil, Adam
Publié: (2023)

Nagata products of bimodules over residuated lattices
par: Přenosil, Adam, et autres
Publié: (2025)

Sequent calculi for first-order ST
par: Paoli, Francesco, et autres
Publié: (2026)

Equational definitions of logical filters
par: Baldi, Michele Pra, et autres
Publié: (2024)

A generalization of de Vries duality to closed relations between compact Hausdorff spaces
par: Abbadini, Marco, et autres
Publié: (2022)

Equivalence of multiset-based consequence relations
par: Madanshekaf, Ali, et autres
Publié: (2024)

On the axiomatisability of the dual of compact ordered spaces
par: Abbadini, Marco
Publié: (2025)

On the structure of balanced residuated partially ordered monoids
par: Bonzio, Stefano, et autres
Publié: (2024)

Unital Specker $\ell$-groups and boolean multispaces
par: Abbadini, Marco, et autres
Publié: (2025)

Balanced residuated partially ordered semigroups
par: Bonzio, Stefano, et autres
Publié: (2025)

Varieties of MV-monoids and positive MV-algebras
par: Abbadini, Marco, et autres
Publié: (2024)

The unification type of Lukasiewicz logic with a bounded number of variables
par: Abbadini, Marco, et autres
Publié: (2025)

Freely adding one layer of quantifiers to a Boolean doctrine
par: Abbadini, Marco, et autres
Publié: (2024)

On the lack of colimits in various categories arising in pointfree topology and algebraic logic
par: Abbadini, Marco, et autres
Publié: (2025)

Duality theory and representations for distributive quasi relation algebras and DInFL-algebras
par: Craig, Andrew, et autres
Publié: (2025)

Quantifier-free formulas and quantifier alternation depth in doctrines
par: Abbadini, Marco, et autres
Publié: (2024)

Stone-Gelfand duality for metrically complete lattice-ordered groups
par: Abbadini, Marco, et autres
Publié: (2022)

Etale algebras over finite Heyting algebras
par: Evgeny, Kuznetsov
Publié: (2024)

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

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

On the symmetry behind duality
par: Abbadini, Marco, et autres
Publié: (2025)

Duality for Normal Lattice Expansions and Sorted, Residuated Frames with Relations
par: Hartonas, Chrysafis
Publié: (2021)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
par: de Groot, Jim, et autres
Publié: (2026)

Strongly minimal group relics of algebraically closed valued fields
par: Onshuus, Alf, et autres
Publié: (2024)

Duality for Fitting's Multi-valued Modal logic via bitopology and biVietoris coalgebra
par: Das, Litan Kumar, et autres
Publié: (2023)

Some applications of finite BL-algebras
par: Flaut, Cristina, et autres
Publié: (2025)

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

Tree algebras and bisimulation-invariant MSO on finite graphs
par: Colcombet, Thomas, et autres
Publié: (2024)

Difference-restriction algebras with operators
par: Borlido, Célia, et autres
Publié: (2025)

Gabriel-Ulmer Duality for Topoi, An Introduction
par: Pasqualone, Federica
Publié: (2024)

Kleene algebra with commutativity conditions is undecidable
par: de Amorim, Arthur Azevedo, et autres
Publié: (2024)

Convex algebras on an interval with semicontinuous monotone operations
par: Sokolova, Ana, et autres
Publié: (2026)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
par: Frey, Jonas
Publié: (2023)

Nelson algebras, residuated lattices and rough sets: A survey
par: Järvinen, Jouni, et autres
Publié: (2024)

On the preservation of unification type of Heyting algebras and interior algebras
par: Düntsch, Ivo, et autres
Publié: (2025)

Asymptotic truth-value laws in many-valued logics
par: Badia, Guillermo, et autres
Publié: (2023)

Topologically valued transition structures
par: Collinson, Matthew
Publié: (2026)

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