scientific article; zbMATH DE number 823603

MaRDI QIDQ4856959zbMATH OpenFDO

Authors John K. Slaney

Publication date 5 December 1995

zbMATH Keywords

dualitieslinear logicmodelling of propositional systemsrelevant logic

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Subsystems of classical logic (including intuitionistic logic) (03B20) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Model theory of finite structures (03C13)

Recommendations

• Finite models of some substructural logics
• The finite model property for semilinear substructural logics
• scientific article; zbMATH DE number 1523044
• scientific article; zbMATH DE number 2024611
• The finite model property for various fragments of linear logic
• Finite model property for an intuitionistic modal logic
• Modal logic over finite structures
• Finite model property of modal logics of finite depth
• scientific article; zbMATH DE number 1163986
• The finite model property for various fragments of intuitionistic linear logic

Cited in

(8)

• Semilinear substructural logics with the finite embeddability property
• Finite model property in weakly transitive tense logics
• Finite model property of modal logics of finite depth
• Finding Finite Models in Multi-sorted First-Order Logic
• The finite model property for knotted extensions of propositional linear logic
• Models for substructural arithmetics
• scientific article; zbMATH DE number 1045389 (Why is no real title available?)
• scientific article; zbMATH DE number 1089458 (Why is no real title available?)

This page was built for publication:

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