Paul Strauss. Some systems of natural deduction. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 286–290
Journal of Symbolic Logic 35 (3):466 (1970)
Abstract
This article has no associated abstract. (fix it)Author's Profile
DOI
10.2307/2270729
My notes
Similar books and articles
Some systems of natural deduction.Paul Strauss - 1967 - Notre Dame Journal of Formal Logic 8 (4):286-290.
Sobociński Bolesław. Remarks about axiomatizations of certain modal systems. Notre Dame journal of formal logic, vol. 5 no. 1 , pp. 71–80.Prior A. N., K1, K2 and related modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 299–304.Sobociński Bolesław. Modal system S4.4. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 305–312.Sobociński Bolesław. Family of the non-Lewis modal systems. Notre Dame journal of formal logic, vol. 5 no. 4 , pp. 313–318.Thomas Ivo. A theorem on S4.2 and S4.4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame journal of formal logic, vol. 8 no. 4 , pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
Bolesław Sobociński. Certain extensions of modal system S4. Notre Dame journal of formal logic, vol. 11 no. 3 , pp. 347–368. - Bolesław Sobociński. Concerning some extensions of S4. Notre Dame journal of formal logic, vol. 12 , pp. 363–370. - G. F. Schumm. Solutions to four modal problems of Sobocinski. Notre Dame journal of formal logic, vol. 12 , pp. 335–340. - J. Jay Zeman. A study of some systems in the neighborhood of S4.4. Notre Dame journal of formal logic, vol. 12 , pp. 341–357. - Bolesław Sobociński. A new class of modal systems. Notre Dame journal of formal logic, vol. 12 , pp. 371–377. - Bolesław Sobociński. A proper subsystem of S4.04. Notre Dame journal of formal logic, vol. 12 , pp. 381–384. [REVIEW]M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602.
A simplified natural deduction approach to certain modal systems.Bangs L. Tapscott - 1987 - Notre Dame Journal of Formal Logic 28 (3):371-384.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
Review: Paul Strauss, Some Systems of Natural Deduction. [REVIEW]Dag Prawitz - 1970 - Journal of Symbolic Logic 35 (3):466-466.
Binary Quantification Systems.Michaelis Michael & A. V. Townsend - 1995 - Notre Dame Journal of Formal Logic 36 (3):382-395.
NOR logic: a system of natural deduction.Laurence S. Gagnon - 1976 - Notre Dame Journal of Formal Logic 17 (2):293-294.
A note on natural deduction.Michael D. Resnik - 1966 - Notre Dame Journal of Formal Logic 7 (2):206-208.
Natural deduction rules for S1°-S4°.Thomas W. Satre - 1972 - Notre Dame Journal of Formal Logic 13:565.
Another system of natural deduction.Herbert E. Hendry - 1975 - Notre Dame Journal of Formal Logic 16 (4):491-495.
A modal natural deduction system for S4.O. A. Robinson - 1979 - Notre Dame Journal of Formal Logic 20:625.
Gentzenizing Schroeder-Heister's natural extension of natural deduction.Arnon Avron - 1989 - Notre Dame Journal of Formal Logic 31 (1):127-135.
Number-theoretic set theories.Paul Strauss - 1985 - Notre Dame Journal of Formal Logic 26 (1):81-95.
Analytics
Added to PP
2016-06-30
Downloads
16 (#670,075)
6 months
1 (#452,962)
2016-06-30
Downloads
16 (#670,075)
6 months
1 (#452,962)
Historical graph of downloads
