The finite model property for knotted extensions of propositional linear logic

DOI10.2178/JSL/1107298511zbMATH Open1089.03015OpenAlexW2129792675MaRDI QIDQ3370755FDOQ3370755

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

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

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)

Cites Work

• Decision problems for propositional linear logic
• Title not available (Why is that?)
• The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
• Extending intuitionistic linear logic with knotted structural rules
• The finite model property for various fragments of linear logic
• Rule separation and embedding theorems for logics without weakening

Cited In (17)

• 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
• The finite embeddability property for noncommutative knotted extensions of RL
• 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
• Word problem for knotted residuated lattices.
• Rule separation and embedding theorems for logics without weakening
• Universal algebraic methods for non-classical logics
• Title not available (Why is that?)
• Structure theorems for idempotent residuated lattices

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)