A natural negation completion of Urquhart's many-valued logic C

Journal of Philosophical Logic 27 (1):75-84 (1998)
Download Edit this record How to cite View on PhilPapers
Abstract
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 completude de celui-ci
Keywords
Reprint years
2004
PhilPapers/Archive ID
MENANN
Upload history
Archival date: 2020-09-12
View other versions
Added to PP index
2009-01-28

Total views
46 ( #45,343 of 52,662 )

Recent downloads (6 months)
11 ( #41,103 of 52,662 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.