:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gimenez, B., Pelaitay, G., Zuluaga, W.
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2412.02063
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A new categorial equivalence for Stone Algebras
by: Calomino, Ismael, et al.
Published: (2025)

On Fidel Vakarelov construction for Monadic Godel algebras
by: Alonso, Maria Valentina, et al.
Published: (2024)

From Multirelations to Meet-Relations: A Relational Duality for Semilattices with Adjunctions
by: Zuluaga, William, et al.
Published: (2026)

The Leibniz adjunction in homotopy type theory, with an application to simplicial type theory
by: de Jong, Tom, et al.
Published: (2026)

Foulis m-semilattices and their modules
by: Botur, Michal, et al.
Published: (2025)

Kripke Completeness of Strictly Positive Modal Logics over Meet-semilattices with Operators
by: Kikot, Stanislav, et al.
Published: (2017)

Hypercontact semilattices
by: Lipparini, Paolo
Published: (2023)

A note on Stone-Čech compactification in ZFA
by: Przybyłek, Michał R.
Published: (2023)

Extended Contact Algebras: Algebraic analysis and duality theory
by: Gruszczyński, Rafał, et al.
Published: (2025)

An effective version of the Stone duality
by: Bazhenov, Nikolay A., et al.
Published: (2026)

Finitely accessible arboreal adjunctions and Hintikka formulae
by: Reggio, Luca, et al.
Published: (2023)

Cardinality and Representation of Stone Relation Algebras
by: Furusawa, Hitoshi, et al.
Published: (2023)

A categorical perspective on constraint satisfaction: The wonderland of adjunctions
by: Hadek, Maximilian, et al.
Published: (2025)

A 2-adjunction between representations and preorder morphisms
by: Brunet, Paul
Published: (2026)

Ivanova contact join-semilattices are not finitely axiomatizable
by: Lipparini, Paolo
Published: (2023)

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

Priestley-style duality for filter-distributive congruential logics
by: Esteban, María, et al.
Published: (2020)

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

Applications of the Gelfand--Naimark duality
by: Farah, Ilijas
Published: (2026)

The Scott space of lattice of closed subsets with supremum operator as a topological semilattice
by: Chen, Yu, et al.
Published: (2025)

Stone type representation theorems via games
by: Aslan, Tuğba, et al.
Published: (2018)

Canonical completion and duality for cylindric ortholattices and cylindric Boolean algebras
by: McDonald, Joseph
Published: (2025)

Stone Duality for Monads
by: Garner, Richard, et al.
Published: (2026)

Quite free p-groups with trivial duality
by: Asgharzadeh, Mohsen, et al.
Published: (2025)

Central H-spaces and banded types
by: Buchholtz, Ulrik, et al.
Published: (2023)

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

Geometric duality, perfect graphs, and the Sierpiński space
by: Borodulin-Nadzieja, Piotr, et al.
Published: (2026)

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

Bijective proofs for Eulerian numbers of types B and D
by: Santocanale, Luigi
Published: (2021)

Discrete dualities for some algebras from rough sets
by: Düntsch, Ivo, et al.
Published: (2026)

List types for resource aware languages: an implicit name approach
by: Ghilezan, Silvia, et al.
Published: (2021)

Strict width for Constraint Satisfaction Problems over homogeneous strucures of finite duality
by: Nagy, Tomáš, et al.
Published: (2024)

Codensity: Isbell duality, pro-objects, compactness and accessibility
by: Di Liberti, Ivan
Published: (2019)

A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
by: Wang, Juntao, et al.
Published: (2026)

Homotopy type theory as a language for diagrams of $\infty$-logoses
by: Uemura, Taichi
Published: (2022)

Formalizing two-level type theory with cofibrant exo-nat
by: Uskuplu, Elif
Published: (2023)

An extension of Priestley duality to fuzzy topologies and positive MV-algebras
by: Ortiz, Marby Zuley Bolaños, et al.
Published: (2025)

Stone pseudovarieties
by: Almeida, Jorge, et al.
Published: (2019)

Yet another cubical type theory, but via a semantic approach
by: Kapulkin, Chris, et al.
Published: (2025)

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms
by: Spadetto, Matteo
Published: (2023)