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