N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic

DOI10.1007/s11787-015-0134-8zbMath1380.03078OpenAlexW2276553285MaRDI QIDQ263105

F. Blanchet-Sadri, M. Dambrine

Publication date: 4 April 2016

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-015-0134-8

zbMATH Keywords

linear logicproof theorymany-valued logiccategorical semanticsparaconsistent logicVasil'ev logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Many-valued logic (03B50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Paraconsistent logics (03B53)

Related Items (2)

Multi-valued logic in graph transformation theory and self-adaptive systems ⋮ N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic

Cites Work

• N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
• Linear logic
• Resource modalities in tensor logic
• Weakly distributive categories
• Topoi. The categorial analysis of logic
• Philosophy of mathematics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic