The finite model property for various fragments of intuitionistic linear logic

DOI10.2307/2586501zbMath0930.03021OpenAlexW1993244347MaRDI QIDQ4262585

Kazushige Terui, Mitsuhiro Okada

Publication date: 9 February 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2586501

zbMATH Keywords

substructural logicsfinite model propertycontractive linear logicfragments of intuitionistic linear logic

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (40)

A new approach for classification of filters in residuated lattices ⋮ Language-theoretic and finite relation models for the (full) Lambek calculus ⋮ Phase semantics and decidability of elementary affine logic ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Nonelementary Complexities for Branching VASS, MELL, and Extensions ⋮ Language models for some extensions of the Lambek calculus ⋮ Some types of filters in residuated lattices ⋮ Phase semantics for light linear logic ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Universal algebraic methods for non-classical logics ⋮ Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus ⋮ Expanding \(\text{FL}_{ew}\) with a Boolean connective ⋮ Cover systems for the modalities of linear logic ⋮ Tense operators on non-commutative residuated lattices ⋮ Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL ⋮ On varieties of biresiduation algebras ⋮ Cut elimination and strong separation for substructural logics: an algebraic approach ⋮ Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras ⋮ On the decision problem for MELL ⋮ Archimedean Residuated Lattices ⋮ From cut-free calculi to automated deduction: the case of bounded contraction ⋮ On derivations and their fixed point sets in residuated lattices ⋮ Residuated frames with applications to decidability ⋮ Join-completions of partially ordered algebras ⋮ Decision methods for linearly ordered Heyting algebras ⋮ Fuzzy logics from substructural perspective ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ Some Syntactic Interpretations in Different Systems of Full Lambek Calculus ⋮ Semantical Approach to Cut Elimination and Subformula Property in Modal Logic ⋮ Distributive full Lambek calculus has the finite model property ⋮ Hyper-MacNeille completions of Heyting algebras ⋮ On Some Extensions of Syntactic Concept Lattices: Completeness and Finiteness Results ⋮ On two new classes of stabilizers in residuated lattices ⋮ The finite model property for semilinear substructural logics ⋮ Extensions of Lambek Calculi ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. ⋮ Regularity in residuated lattices ⋮ On finite models of the Lambek calculus

Cites Work

• Linear logic
• The finite model property for BCK and BCIW
• The finite model property for BCI and related systems
• Non‐commutative intuitionistic linear logic
• The finite model property for various fragments of linear logic

This page was built for publication: The finite model property for various fragments of intuitionistic linear logic