Discrete dualities for groupoids

DOI10.13137/2464-8728/33304MaRDI QIDQ5087782zbMATH OpenFDO

Authors Ewa Orłowska, Ivo Düntsch

Publication date 1 July 2022

Full work available at URL https://doi.org/10.13137/2464-8728/33304

zbMATH Keywords

groupoidsdiscrete dualitiesduality via truth

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Representation theory of lattices (06B15) Logical aspects of lattices and related structures (03G10) Other generalizations of groups (20Nxx)

Recommendations

• Discrete dualities for double Stone algebras
• Algebras for Galois-style connections and their discrete duality
• Discrete duality for De Morgan algebras with operators
• Dualities for structures of applied logics
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras

Cites work

• scientific article; zbMATH DE number 432737 (Why is no real title available?)
• scientific article; zbMATH DE number 5295854 (Why is no real title available?)
• scientific article; zbMATH DE number 3470465 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3525100 (Why is no real title available?)
• scientific article; zbMATH DE number 1059893 (Why is no real title available?)
• scientific article; zbMATH DE number 2042619 (Why is no real title available?)
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• A discrete representation of lattice frames
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Boolean Algebras with Operators
• Boolean Algebras with Operators. Part I
• Dualities for structures of applied logics
• Duality for algebras of relevant logics
• Duality via Truth: Semantic frameworks for lattice-based logics
• Introducing Boolean Semilattices
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Language in action
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Relational semantics and a relational proof system for full Lambek calculus
• Residuated lattices. An algebraic glimpse at substructural logics
• Some Varieties Containing Relation Algebras
• The Theory of Representation for Boolean Algebras
• The semantics of entailment. II
• The semantics of entailment. III
• Theory and Applications of Relational Structures as Knowledge Instruments
• Topological representations of distributive lattices and Brouwerian logics

Cited in

(3)

• Some new results on the Chu duality of discrete groups
• Full duality for coactions of discrete groups
• scientific article; zbMATH DE number 5302426 (Why is no real title available?)

This page was built for publication: Discrete dualities for groupoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5087782)