Univalent Foundations of Mathematics and Paraconsistency

DOI10.1007/978-81-322-2719-9_13zbMath1423.03043OpenAlexW2472721880MaRDI QIDQ5241529

Vladimir L. Vasyukov

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_13

zbMATH Keywords

homotopy typeslogical pluralismunivalent foundationsnon-classical mathematicsparaconsistent categoriesparaconsistent sets

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Paraconsistent logics (03B53) Combined logics (03B62)

Cites Work

• Paraconsistency in categories: case of relevance logic
• Topoi. The categorial analysis of logic. Rev. ed
• Axiomatic method and category theory
• An experimental library of formalized Mathematics based on the univalent foundations
• Unnamed Item
• Unnamed Item

This page was built for publication: Univalent Foundations of Mathematics and Paraconsistency