Type Theory with Opposite Types: A Paraconsistent Type Theory (Q5046719)
From MaRDI portal
scientific article; zbMATH DE number 7613859
Language | Label | Description | Also known as |
---|---|---|---|
English | Type Theory with Opposite Types: A Paraconsistent Type Theory |
scientific article; zbMATH DE number 7613859 |
Statements
Type Theory with Opposite Types: A Paraconsistent Type Theory (English)
0 references
9 November 2022
0 references
type theory
0 references
paraconsistent logic
0 references
constructible falsity
0 references
propositions-as-types correspondence
0 references