Residuated frames with applications to decidability

DOI10.1090/S0002-9947-2012-05573-5zbMath1285.03077MaRDI QIDQ4913809

Nikolaos Galatos, Peter Jipsen

Publication date: 16 April 2013

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

cut elimination; decidability; substructural logic; finite model property; residuated lattice; Gentzen system; residuated frame; finite embeddability property; involutive residuated structures

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03F05: Cut-elimination and normal-form theorems

03G25: Other algebras related to logic

06F05: Ordered semigroups and monoids

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

06B20: Varieties of lattices

Related Items

Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity, Unnamed Item, One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity, Splittings in varieties of logic, MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE, MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Modal translation of substructural logics, The finite embeddability property for noncommutative knotted extensions of RL, Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras, Densification of FL chains via residuated frames, The distributivity on bi-approximation semantics, Algebraic proof theory for substructural logics: cut-elimination and completions, Cut elimination and strong separation for substructural logics: an algebraic approach, Algebraic proof theory: hypersequents and hypercompletions, The structure of generalized BI-algebras and weakening relation algebras, Integrally closed residuated lattices, Completion and finite embeddability property for residuated ordered algebras., Distributive residuated frames and generalized bunched implication algebras, The FEP for some varieties of fully distributive knotted residuated lattices, Order-dual relational semantics for non-distributive propositional logics: a general framework, From cut-free calculi to automated deduction: the case of bounded contraction, Relation algebras as expanded FL-algebras, Implicit and explicit stances in logic, Join-completions of partially ordered algebras, The completions of multi-posets and quantum B-algebras, Hyper-MacNeille completions of Heyting algebras, Densification via polynomials, languages, and frames, Word problem for knotted residuated lattices., Canonical formulas for \(k\)-potent commutative, integral, residuated lattices, On square-increasing ordered monoids and idempotent semirings, On involutive nonassociative Lambek calculus, Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices, Complemented MacNeille completions and algebras of fractions, Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings, Strong negation in intuitionistic style sequent systems for residuated lattices, Changing a Semantics: Opportunism or Courage?

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cut elimination and strong separation for substructural logics: an algebraic approach
• MacNeille completions of FL-algebras
• A Gentzen system for involutive residuated lattices
• Generalized Kripke frames
• Residuated lattices. An algebraic glimpse at substructural logics
• Relative pseudo-complements, join-extensions, and meet-retractions
• Generalized MV-algebras
• Algebraic aspects of cut elimination
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Rule separation and embedding theorems for logics without weakening
• Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
• Interpolation and FEP for logics of residuated algebras
• THE STRUCTURE OF RESIDUATED LATTICES
• The finite model property for knotted extensions of propositional linear logic
• Quantales and (noncommutative) linear logic
• Logics without the contraction rule
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• The finite model property for various fragments of intuitionistic linear logic
• Which structural rules admit cut elimination? An algebraic criterion
• On the finite embeddability property for residuated ordered groupoids
• Canonical extensions and relational completeness of some substructural logics