The finite model property for knotted extensions of propositional linear logic

DOI10.2178/JSL/1107298511MaRDI QIDQ3370755zbMATH OpenOpenAlexFDO

Authors C. J. van Alten

Publication date 8 February 2006

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

Full work available at URL https://doi.org/10.2178/jsl/1107298511

zbMATH Keywords

algebraic semanticsalgebraic modelsfinite model propertyfinite embeddability propertyextensions of linear logicknotted structural rule

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25)

Recommendations

• The finite model property for various fragments of linear logic
• The finite model property for logics with the tangle modality
• The finite model property for various fragments of intuitionistic linear logic
• Finite Kripke models and predicate logics of provability
• The finite model property for semilinear substructural logics
• scientific article; zbMATH DE number 2024611
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• Finite model property for an intuitionistic modal logic
• scientific article; zbMATH DE number 823603
• Finite model property of modal logics of finite depth

Cites work

• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• Decision problems for propositional linear logic
• Extending intuitionistic linear logic with knotted structural rules
• Rule separation and embedding theorems for logics without weakening
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• The finite model property for various fragments of linear logic

Cited in

(17)

• Structure theorems for idempotent residuated lattices
• Residuated frames with applications to decidability
• MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE
• Join-completions of partially ordered algebras
• Contextual deduction theorems
• Extending intuitionistic linear logic with knotted structural rules
• The Kuznetsov-Gerčiu and Rieger-Nishimura logics
• Representable idempotent commutative residuated lattices
• Finite embeddability property for residuated lattices via regular languages
• Completion and finite embeddability property for residuated ordered algebras.
• The FEP for some varieties of fully distributive knotted residuated lattices
• A remark on a paper of van Alten
• The finite embeddability property for noncommutative knotted extensions of \(\mathsf{RL}\).
• Word problem for knotted residuated lattices.
• Rule separation and embedding theorems for logics without weakening
• Universal algebraic methods for non-classical logics
• scientific article; zbMATH DE number 7547163 (Why is no real title available?)

This page was built for publication: The finite model property for knotted extensions of propositional linear logic

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