Univalent Foundations of Mathematics and Paraconsistency (Q5241529)
From MaRDI portal
scientific article; zbMATH DE number 7124968
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Univalent Foundations of Mathematics and Paraconsistency |
scientific article; zbMATH DE number 7124968 |
Statements
Univalent Foundations of Mathematics and Paraconsistency (English)
0 references
31 October 2019
0 references
homotopy types
0 references
univalent foundations
0 references
logical pluralism
0 references
non-classical mathematics
0 references
paraconsistent sets
0 references
paraconsistent categories
0 references
