scientific article; zbMATH DE number 16514

MaRDI QIDQ3973197zbMATH OpenFDO

Authors Vladimir Ivanovich Shalak

Publication date 26 June 1992

zbMATH Keywords

algebraic semanticsBoolean toposDe Morgan monoidsrelevant logicrelevant logical category

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Categorical logic, topoi (03G30) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Topoi (18B25)

Recommendations

• Paraconsistency in categories: case of relevance logic
• Note on algebraic models for relevance logic
• Duality for algebras of relevant logics
• Relevant categories and partial functions
• Relevance and paraconsistency—a new approach

Cited in

(4)

• Note on algebraic models for relevance logic
• scientific article; zbMATH DE number 3954874 (Why is no real title available?)
• A dynamic characterization of the pure logic of relevant implication
• Paraconsistency in categories: case of relevance logic

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 Q3973197)