Distributive residuated frames and generalized bunched implication algebras

DOI10.1007/S00012-017-0456-XMaRDI QIDQ1686325zbMATH OpenOpenAlexFDO

Authors Nikolaos Galatos, Peter Jipsen

Publication date 21 December 2017

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://digitalcommons.chapman.edu/scs_articles/547

zbMATH Keywords

substructural logicdecidabilitycut eliminationresiduated latticeGentzen systemfinite model propertyresiduated framefinite embeddability property

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05) Logical aspects of lattices and related structures (03G10) Lattices of varieties (08B15)

Recommendations

• Unary-determined distributive \(\ell \)-magmas and bunched implication algebras
• scientific article; zbMATH DE number 6136568
• Bounded distributive lattices with fusion and implication
• Relation algebras, idempotent semirings and generalized bunched implication algebras
• Multiplicative and implicative derivations on residuated multilattices
• Distributivity of residual implications over conjunctive and disjunctive uninorms
• Residuated frames with applications to decidability
• Formal Concept Analysis
• Generalizations of Implication Algebras
• Residuated Structures in Algebra and Logic

Cites work

• Algebraic proof theory for substructural logics: cut-elimination and completions
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• Distributive full Lambek calculus has the finite model property
• Generalized Kripke frames
• MacNeille completions of FL-algebras
• On the finite embeddability property for residuated ordered groupoids
• Residuated frames with applications to decidability
• Residuated lattices. An algebraic glimpse at substructural logics
• The FEP for some varieties of fully distributive knotted residuated lattices
• The semantics and proof theory of the logic of bunched implications
• The semantics of BI and resource tableaux

Cited in

(16)

• Deciding Equations in the Time Warp Algebra
• Join-completions of partially ordered algebras
• Bunched hypersequent calculi for distributive substructural logics
• The FEP for some varieties of fully distributive knotted residuated lattices
• An algebraic glimpse at bunched implications and separation logic
• Distributive full Lambek calculus has the finite model property
• A Gentzen system for involutive residuated lattices
• Residuated connections induced by residuated frames
• Weakening Relation Algebras and FL$$^2$$-algebras
• The convolution algebra
• Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
• Representable and diagonally representable weakening relation algebras
• scientific article; zbMATH DE number 7204446 (Why is no real title available?)
• The structure of generalized BI-algebras and weakening relation algebras
• scientific article; zbMATH DE number 6970800 (Why is no real title available?)
• Residuated frames with applications to decidability

This page was built for publication: Distributive residuated frames and generalized bunched implication algebras

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