The finite model property for various fragments of linear logic
From MaRDI portal
Publication:4382470
DOI10.2307/2275637zbMath0897.03010OpenAlexW2098086155MaRDI 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
completenessdecidabilityfinite model propertyphase semanticsfinite phase modelsfragments of propositional linear logic
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
This page was built for publication: The finite model property for various fragments of linear logic
