Duality for algebras of relevant logics

DOI10.1007/BF00370149zbMath0844.03032OpenAlexW2033002247MaRDI QIDQ1914154

Alasdair Urquhart

Publication date: 22 August 1996

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00370149

zbMATH Keywords

Priestley dualitycorrespondence theorypiggyback dualityrelevant logicslattice-ordered groupoidsleft-residual operation

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (29)

Modules with fusion and implication based over distributive lattices: representation and duality ⋮ Automated theorem proving by resolution in non-classical logics ⋮ Priestley dualities for some lattice-ordered algebraic structures, including MTL, IMTL and MV-algebras ⋮ Proper semantics for substructural logics, from a stalker theoretic point of view ⋮ Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ An algebraic glimpse at bunched implications and separation logic ⋮ Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm \textsf{PEARL} ⋮ On canonicity of poset expansions ⋮ Epimorphisms in varieties of subidempotent residuated structures ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS ⋮ The Story of $$\gamma $$ γ ⋮ CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS ⋮ Unnamed Item ⋮ Algebras for Galois-style connections and their discrete duality ⋮ General frames for relevant modal logics ⋮ Unnamed Item ⋮ Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models ⋮ Larisa Maksimova’s Early Contributions to Relevance Logic ⋮ 2010 North American Annual Meeting of the Association for Symbolic Logic ⋮ Unnamed Item ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Paraconsistency in categories: case of relevance logic ⋮ A topological approach to MTL-algebras ⋮ A Logical Autobiography ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$ ⋮ Application of Urquhart’s Representation of Lattices to Some Non–classical Logics ⋮ Comments on the Contributions

Cites Work

• A duality for Boolean algebras with operators
• Failure of interpolation in relevant logics
• R\(\urcorner\)-algebras and R\(\urcorner\)-model structures as power constructs
• Distributive lattices with a dual homomorphic operation
• The semantics of entailment. II
• The semantics of entailment. III
• Distributive lattices with a dual homomorphic operation. II
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Duality for algebras of relevant logics