The finite model property for various fragments of linear logic

DOI10.2307/2275637zbMath0897.03010MaRDI 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

completeness; decidability; finite model property; phase semantics; finite phase models; fragments of propositional linear logic

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

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

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