N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
DOI10.1007/S11787-015-0134-8zbMATH Open1380.03078OpenAlexW2276553285MaRDI QIDQ263105FDOQ263105
Authors: D. Y. Maximov 
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
Recommendations
Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Many-valued logic (03B50) Paraconsistent logics (03B53) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical logic, topoi (03G30)
Cites Work
- Topoi. The categorial analysis of logic
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
- An embedding of N. A. Vasil'ev's imaginary logic into quantified three-valued logic
- Categorical semantics of linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Philosophy of mathematics
- Resource modalities in tensor logic
- Weakly distributive categories
Cited In (7)
- N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
- Title not available (Why is that?)
- To the problem of characterization of logic of the Vasiliev type: on tabularity \(I_{\langle x, y \rangle} (x, y \in \{0, 1, 2, \dots\}\) and \(x < y)\)
- N. A. Vasiliev's logic and many-valued logics
- Multi-valued logic in graph transformation theory and self-adaptive systems
- N. A. Vasil'ev's \(n\)-dimensional logic: A modern reconstruction
- The logical legacy of Nikolai Vasiliev and modern logic
This page was built for publication: N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q263105)
