期刊名称：Principia : an International Journal of Epistemology
印刷版ISSN：1414-4247
电子版ISSN：1808-1711
出版年度：2009
卷号：13
期号：2
页码：165-184
语种：English
出版社：Universidade Federal de Santa Catarina, Brasil
摘要：One of Da Costa's motives when he constructed the paraconsistent logic Cw was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task. A logic is defined by taking the Kripke semantics for intuitionistic logic, and dualising the truth conditions for negation. Various properties of the logic are established, including its relation to CWo Tableau and natural deduction systems for the logic are produced, as are appropriate algebraic structures. The paper then investigates dualising the intuitionistic conditional in the same way. This establishes various connections between the logic, and a logic called in the literature 'Brouwerian logic' or 'closed-set logic'.
关键词：Da Costa;Paraconsistency;Intuitionism;Kripke semantics;Brouwerian algebras;Closed set logic;Negation
