-
50Two extensions of Lewis' s3 with Peirce's lawTheoria 14 (3): 407-411. 1999.We define two extensions of Lewis’ S3 with two versions of Peirce’s Law. We prove that both of them have the Ackermann Property
-
35Urquhart's C with Intuitionistic Negation: Dummett's LC without the Contraction AxiomNotre Dame Journal of Formal Logic 36 (3): 407-413. 1995.This paper offers a particular intuitionistic negation completion of Urquhart's system C resulting in a super-intuitionistic contractionless propositional logic equivalent to Dummett's LC without contraction
-
355A natural negation completion of Urquhart's many-valued logic CJournal of Philosophical Logic 27 (1): 75-84. 1998.Etude de l'extension par la negation semi-intuitionniste de la logique positive des propositions appelee logique C, developpee par A. Urquhart afin de definir une semantique relationnelle valable pour la logique des valeurs infinies de Lukasiewicz (Lw). Evitant les axiomes de contraction et de reduction propres a la logique classique de Dummett, l'A. propose une semantique de type Routley-Meyer pour le systeme d'Urquhart (CI) en tant que celle-la ne fournit que des theories consistantes pour la …Read more
Francisco Salto
Universidad de León
-
Universidad de LeónProfessor