Type Theory with Opposite Types: A Paraconsistent Type Theory

DOI10.1093/jigpal/jzab022zbMath1499.03012OpenAlexW3178012092MaRDI QIDQ5046719

Andrés Sicard-Ramírez, Juan C. Agudelo-Agudelo

Publication date: 9 November 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzab022

zbMATH Keywords

type theoryparaconsistent logicconstructible falsitypropositions-as-types correspondence

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Type theory (03B38)

This page was built for publication: Type Theory with Opposite Types: A Paraconsistent Type Theory