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

DOI10.1007/S11225-006-8305-5zbMATH Open1105.03021OpenAlexW2062581225MaRDI QIDQ2433102FDOQ2433102

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

Recommendations

• scientific article; zbMATH DE number 67022
• Algebraic proof theory for substructural logics: cut-elimination and completions
• An algebraic approach to subframe logics. Intuitionistic case
• Glivenko theorems for substructural logics over FL
• Publication:3474636
• scientific article; zbMATH DE number 1369670
• An algebraic approach to the disjunction property of substructural logics
• The parameterized local deduction theorem for quasivarieties of algebras and its application
• scientific article; zbMATH DE number 5880291

zbMATH Keywords

interpolationsubstructural logicalgebraic semanticsamalgamation propertyfull Lambek calculusparametrized local deduction theorempointed residuated lattice

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Cites Work

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

Cited In (42)

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

This page was built for publication: Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL

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