The finite model property for various fragments of linear logic
From MaRDI portal
Publication:4382470
DOI10.2307/2275637zbMath0897.03010MaRDI QIDQ4382470
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
completeness; decidability; finite model property; phase semantics; finite phase models; fragments of propositional linear logic
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