Notre Dame Journal of Formal Logic 30 (3):459-484 (1989)
Kalrnaric. We set out a system T, consisting of normal proofs constructed by means of elegantly symmetrical introduction and elimination rules. In the system T there are two requirements, called ( ) and ()), on applications of discharge rules. T is sound and complete for Kalmaric arguments. ( ) requires nonvacuous discharge of assumptions; ()) requires that the assumption discharged be the sole one available of highest degree. We then consider a 'Duhemian' extension T*, obtained simply by dropping the requirement ()). T* is a proper subsystem of intuitionistic relevant logic. Our main result is that T* is a double negation consistency companion to classical logic. Thus all one needs to add to T* to obtain classical logic is the (intuitionistic) absurdity rule, and the (classical) rule of double nega-
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
Rule-Circularity and the Justification of Deduction.By Neil Tennant - 2005 - Philosophical Quarterly 55 (221):625–648.
Similar books and articles
On the Role of Implication in Formal Logic.Jonathan P. Seldin - 2000 - Journal of Symbolic Logic 65 (3):1076-1114.
On the Structures Inside Truth-Table Degrees.Frank Stephan - 2001 - Journal of Symbolic Logic 66 (2):731-770.
Intuitionistic Logic and Elementary Rules.L. Humberstone & D. Makinson - 2011 - Mind 120 (480):1035-1051.
Classical Logic, Intuitionistic Logic, and the Peirce Rule.Henry Africk - 1992 - Notre Dame Journal of Formal Logic 33 (2):229-235.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Intuitionistic Mathematics Does Not Needex Falso Quodlibet.Neil Tennant - 1994 - Topoi 13 (2):127-133.
Uniqueness of Normal Proofs in Implicational Intuitionistic Logic.Takahito Aoto - 1999 - Journal of Logic, Language and Information 8 (2):217-242.
The Pleasures of Anticipation: Enriching Intuitionistic Logic. [REVIEW]Lloyd Humberstone - 2001 - Journal of Philosophical Logic 30 (5):395-438.
Substructural Implicational Logics Including the Relevant Logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
Intuitionistic Completeness for First Order Classical Logic.Stefano Berardi - 1999 - Journal of Symbolic Logic 64 (1):304-312.
A New Symbolic Representation of the Basic Truth-Functions of the Propositional Calculus.Jerome Frazee - 1988 - History and Philosophy of Logic 9 (1):87-91.
Added to index2010-08-24
Total downloads12 ( #370,004 of 2,154,135 )
Recent downloads (6 months)1 ( #398,005 of 2,154,135 )
How can I increase my downloads?