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

DOI10.1007/S11787-015-0134-8MaRDI QIDQ263105zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

proof theorycategorical semanticslinear logicmany-valued logicparaconsistent logicVasil'ev logic

Mathematics Subject Classification ID

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)

Recommendations

• N. A. Vasiliev's logic and many-valued logics
• scientific article; zbMATH DE number 4016844
• Possible worlds with impossible objects: the imaginary logic of N. A. Vasil'év
• scientific article; zbMATH DE number 46073
• N. A. Vasil'ev's \(n\)-dimensional logic: A modern reconstruction

Cites work

• scientific article; zbMATH DE number 46073 (Why is no real title available?)
• scientific article; zbMATH DE number 3574077 (Why is no real title available?)
• scientific article; zbMATH DE number 1859199 (Why is no real title available?)
• An embedding of N. A. Vasil'ev's imaginary logic into quantified three-valued logic
• Categorical semantics of linear logic
• Linear logic
• N.A. Vasil'ev's logical ideas and the categorical semantics of many-valued logic
• Philosophy of mathematics
• Resource modalities in tensor logic
• Topoi. The categorial analysis of logic
• Weakly distributive categories

Cited in

(7)

• scientific article; zbMATH DE number 2015292 (Why is no real title available?)
• The logical legacy of Nikolai Vasiliev and modern logic
• 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. Vasil'ev's \(n\)-dimensional logic: A modern reconstruction
• 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 logical ideas and the categorical semantics of many-valued 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)