Abstract
This paper contains a rigorous treatment of the species of implication described in [8] and [9], where it was given the name of connexive implication. A brief historical survey will lay bare its roots in antiquity, and it will be shown that none of the well-known systems of propositional logic serves to formalize it.1 In this paper a new system of ‘connexive’ logic will be presented, the system being shown to be (a) consistent, (b) independent of two-valued logic, (c) Post-complete.
Publisher
Cambridge University Press (CUP)
Reference13 articles.
1. LEWIS CARROLL'S BARBER SHOP PARADOX
2. The pure calculus of entailment;Anderson;this Journal,1962
3. Aristotle and the Consequentia Mirabilis
4. Der volle dreiwertige Aussagenkalkül;Słupecki;Comptes Rendus de la Société des Sciences et des Lettres de Varsovie,1936
Cited by
88 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献