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

cut eliminationdecidabilityfinite embeddability propertyfinite model propertyGentzen systemresiduated frameresiduated latticesubstructural logic

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 -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

(18)

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

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)