Discrete dualities for groupoids

DOI10.13137/2464-8728/33304MaRDI QIDQ5087782FDOQ5087782

Authors: Ewa Orłowska, Ivo Düntsch 

Publication date: 1 July 2022

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

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)

Cites Work

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

Cited In (3)

• Some new results on the Chu duality of discrete groups
• Full duality for coactions of discrete groups
• Title not available (Why is that?)

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)