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

DOI10.1007/s11225-006-8305-5zbMath1105.03021OpenAlexW2062581225MaRDI 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

interpolationalgebraic semanticssubstructural logicamalgamation propertyfull Lambek calculusparametrized local deduction theorempointed residuated lattice

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

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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