About opposition and duality in paraconsistent type theory

DOI10.4204/eptcs.357.3MaRDI QIDQ6661150

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

Publication date: 13 January 2025

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Treatise on intuitionistic type theory
• A normalizing system of natural deduction for intuitionistic linear logic
• Falsification, natural deduction and bi-intuitionistic logic
• Constructive negation, implication, and co-implication
• Constructible falsity and inexact predicates
• Type Theory with Opposite Types: A Paraconsistent Type Theory
• ETA-RULES IN MARTIN-LÖF TYPE THEORY
• Constructible falsity

This page was built for publication: About opposition and duality in paraconsistent type theory