Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

DOI10.21146/2074-1472-2017-23-2-76-95MaRDI QIDQ4566146zbMATH OpenOpenAlexFDO

Authors Vladimir L. Vasyukov

Publication date 14 June 2018

Published in Logical Investigations (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21146/2074-1472-2017-23-2-76-95

zbMATH Keywords

categorical semanticsda Costa algebraparaconsistent logicparaconsistent set theorypotos

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Categorical logic, topoi (03G30)

Recommendations

• Paraconsistent categories for paraconsistent logics
• scientific article; zbMATH DE number 2019862
• The Paraconsistent Logics PJ
• From (paraconsistent) topos logic to universal (topos) logic
• Categorical models for Abadi and Plotkin's logic for parametricity
• Categorical abstract algebraic logic: Gentzen \((\pi)\)-institutions
• Paraconsistent logic and model theory
• Categorical Harmony and Paradoxes in Proof-Theoretic Semantics
• Categorical abstract algebraic logic: protoalgebraicity and Leibniz theory systems
• scientific article; zbMATH DE number 3931013

Cited in

(2)

• Paraconsistent categories for paraconsistent logics
• A topological duality for the F-chains associated with the logic C_.

This page was built for publication: Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics

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