论文标题
关于派友派理论中的反对和二元性
About Opposition and Duality in Paraconsistent Type Theory
论文作者
论文摘要
在这里通过添加共同功能类型来扩展一种paracistist类型理论（通过添加相反类型的片段来扩展直觉类型理论的扩展）。结果表明，在扩展的paracissistent类型系统中，可以将相对类型的构造函数视为将每种类型转换为双重类型的互动操作。此外，讨论了对类型不同解释的相反和共同功能类型的直观解释。
A paraconsistent type theory (an extension of a fragment of intuitionistic type theory by adding opposite types) is here extended by adding co-function types. It is shown that, in the extended paraconsistent type system, the opposite type constructor can be viewed as an involution operation that transforms each type into its dual type. Moreover, intuitive interpretations of opposite and co-function types under different interpretations of types are discussed.
