Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL

DOI10.1007/s11225-006-8305-5zbMath1105.03021MaRDI QIDQ2433102

Nikolaos Galatos, Hiroakira Ono

Publication date: 27 October 2006

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

Full work available at URL: https://doi.org/10.1007/s11225-006-8305-5

zbMATH Keywords

interpolation; algebraic semantics; substructural logic; amalgamation property; full Lambek calculus; parametrized local deduction theorem; pointed residuated lattice

Mathematics Subject Classification ID

03G25: Other algebras related to logic

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

Related Items

Residuated frames with applications to decidability, BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS, Idempotent residuated structures: Some category equivalences and their applications, 2006 Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '06, Towards an algorithmic construction of cut-elimination procedures, Algebraic proof theory for substructural logics: cut-elimination and completions, Topological proofs of some Rasiowa-Sikorski lemmas, Algebraic Kripke-style semantics for relevance logics, Disjunction property and complexity of substructural logics, Cut elimination and strong separation for substructural logics: an algebraic approach, Contextual deduction theorems, MacNeille completions of FL-algebras, Amalgamation through quantifier elimination for varieties of commutative residuated lattices, Algebraic proof theory: hypersequents and hypercompletions, Constructive logic with strong negation is a substructural logic. I, Ł\(\Pi\) logic with fixed points, Constructive logic with strong negation is a substructural logic. II, A category equivalence for odd Sugihara monoids and its applications, Poset products as relational models, Amalgamation and interpolation in ordered algebras., Fuzzy logics from substructural perspective, Proper semantics for substructural logics, from a stalker theoretic point of view, The Beth property in algebraic logic, On varieties of biresiduation algebras, Interpolation and Beth's property in propositional many-valued logics: a semantic investigation, Some modal and temporal translations of generalized basic logic, Strong negation in intuitionistic style sequent systems for residuated lattices, Semi-linear Varieties of Lattice-Ordered Algebras, Craig Interpolation in Displayable Logics, Interpolation via translations, Equivalence of consequence relations: an order-theoretic and categorical perspective, Glivenko theorems for substructural logics over FL, Representable idempotent commutative residuated lattices, Residuated Structures, Concentric Sums and Finiteness Conditions

Cites Work

• Cut elimination and strong separation for substructural logics: an algebraic approach
• Interpolation and the Robinson property for logics not closed under the Boolean operations
• The semantics and proof theory of linear logic
• Interpolation properties of superintuitionistic logics
• A deduction theorem schema for deductive systems of propositional logics
• Amalgamation properties and interpolation theorems for equational theories
• Representable biresiduated lattices
• A survey of abstract algebraic logic
• Generalized MV-algebras
• Adding involution to residuated structures
• Algebraic aspects of cut elimination
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Equational bases for joins of residuated-lattice varieties
• Rule separation and embedding theorems for logics without weakening
• Cancellative residuated lattices
• Minimal varieties of residuated lattices
• THE STRUCTURE OF RESIDUATED LATTICES
• Equivalence of consequence relations: an order-theoretic and categorical perspective
• Glivenko theorems for substructural logics over FL
• Logics without the contraction rule
• The finite model property for various fragments of intuitionistic linear logic
• THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
• On the finite embeddability property for residuated ordered groupoids
• Injectivity in model theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item