The finite model property for various fragments of linear logic

DOI10.2307/2275637zbMath0897.03010OpenAlexW2098086155MaRDI QIDQ4382470

Yves Lafont

Publication date: 8 October 1998

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

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

zbMATH Keywords

completenessdecidabilityfinite model propertyphase semanticsfinite phase modelsfragments of propositional linear logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (21)

The finite model property for various fragments of intuitionistic linear logic ⋮ Strong planning under uncertainty in domains with numerous but identical elements (a generic approach) ⋮ Phase semantics and decidability of elementary affine logic ⋮ Nonelementary Complexities for Branching VASS, MELL, and Extensions ⋮ On involutive nonassociative Lambek calculus ⋮ On Classical Nonassociative Lambek Calculus ⋮ Cover systems for the modalities of linear logic ⋮ Contextual deduction theorems ⋮ Finite Models of Some Substructural Logics ⋮ On phase semantics and denotational semantics: The exponentials ⋮ Fuzzy logics from substructural perspective ⋮ A phase semantics for polarized linear logic and second order conservativity ⋮ The finite model property for knotted extensions of propositional linear logic ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ On the Meaning of Logical Completeness ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ On the unification of classical, intuitionistic and affine logics ⋮ 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. ⋮ On finite models of the Lambek calculus

Cites Work

• Linear logic
• Decision problems for propositional linear logic
• The undecidability of second order multiplicative linear logic
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic

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