scientific article; zbMATH DE number 7552279

DOI10.13137/2464-8728/33304MaRDI QIDQ5087782

Ewa S. Orłowska, Ivo Duentsch

Publication date: 1 July 2022

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

groupoidsdiscrete dualitiesduality via truth

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Language in action
• The semantics of entailment. II
• The semantics of entailment. III
• Lambek calculus and its relational semantics: Completeness and incompleteness
• Duality for algebras of relevant logics
• A discrete representation of lattice frames
• Some Varieties Containing Relation Algebras
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Relational semantics and a relational proof system for full Lambek calculus
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Introducing Boolean Semilattices
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Duality via Truth: Semantic frameworks for lattice-based logics
• 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
• Theory and Applications of Relational Structures as Knowledge Instruments

This page was built for publication: