Bi-approximation semantics for substructural logic at work

MaRDI QIDQ2904066zbMATH OpenFDO

Authors Tomoyuki Suzuki

Publication date 5 August 2012

zbMATH Keywords

substructural logicslattice expansionsbi-approximation semanticstwo-sorted relational semantics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• The distributivity on bi-approximation semantics
• A Sahlqvist theorem for substructural logic
• scientific article; zbMATH DE number 6302921
• scientific article; zbMATH DE number 7644094
• Kripke semantics for modal substructural logics

Cited in

(8)

• Bi-inductive structural semantics
• Order-dual relational semantics for non-distributive propositional logics: a general framework
• The distributivity on bi-approximation semantics
• Lattice logic as a fragment of (2-sorted) residuated modal logic
• scientific article; zbMATH DE number 6302921 (Why is no real title available?)
• Choice-free topological duality for implicative lattices and Heyting algebras
• Modal translation of substructural logics
• Reasoning with incomplete information in generalized Galois logics without distribution: the case of negation and modal operators

This page was built for publication: Bi-approximation semantics for substructural logic at work

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