The finite model property for various fragments of linear logic

DOI10.2307/2275637zbMATH Open0897.03010OpenAlexW2098086155MaRDI QIDQ4382470FDOQ4382470

Authors: 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

Recommendations

• The finite model property for various fragments of intuitionistic linear logic
• Decision problems for propositional linear logic
• Finite models of some substructural logics

zbMATH Keywords

completenessdecidabilityphase semanticsfinite model propertyfinite phase modelsfragments of propositional linear logic

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (34)

• The finite model property for various fragments of intuitionistic linear logic
• On the finite embeddability property for residuated ordered groupoids
• The finite model property for semilinear substructural logics
• On the decision problem for MELL
• Title not available (Why is that?)
• On phase semantics and denotational semantics: The exponentials
• Title not available (Why is that?)
• Strong planning under uncertainty in domains with numerous but identical elements (a generic approach)
• On the Meaning of Logical Completeness
• Decision problems for propositional linear logic
• Contextual deduction theorems
• The finite model property for knotted extensions of propositional linear logic
• From multiple sequent for additive linear logic to decision procedures for free lattices
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
• Phase semantics and decidability of elementary affine logic
• An Infinitary Model of Linear Logic
• Possible worlds and resources: The semantics of \(\mathbf{BI}\)
• Relational semantics for a fragment of linear logic
• Title not available (Why is that?)
• Extensions of Lambek calculi
• The decidability of the intensional fragment of classical linear logic
• Fuzzy logics from substructural perspective
• Cover systems for the modalities of linear logic
• Decidability of linear affine logic
• Title not available (Why is that?)
• Finite models of some substructural logics
• A phase semantics for polarized linear logic and second order conservativity
• The finite model property for the implicational fragment of IPC without exchange and contraction
• Finite model property in weakly transitive tense logics
• On the unification of classical, intuitionistic and affine logics
• On finite models of the Lambek calculus
• On involutive nonassociative Lambek calculus
• Title not available (Why is that?)
• On classical nonassociative Lambek calculus

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4382470)