Journal of Symbolic Logic 37 (2):417 (1972)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
DOI | 10.2307/2273012 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Review: Bishwambhar Pahi, Ralph C. Applebee, An Unsolvable Problem Concerning Implicational Calculi. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417-417.
An Unsolvable Problem Concerning Implicational Calculi.Biswambhar Pahi & Ralph C. Applebee - 1970 - Notre Dame Journal of Formal Logic 11 (2):200-202.
Some Results on Generalized Truth-Tables.Ralph C. Applebee & Biswambhar Pahi - 1971 - Notre Dame Journal of Formal Logic 12 (4):435-440.
Ralph C. Applebee and Biswambhar Pahi. Some Results on Generalized Truth-Tables. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 435–440. [REVIEW]David Makinson - 1973 - Journal of Symbolic Logic 38 (3):521.
Necessity and Some Non-Modal Propositional Calculi.Biswambhar Pahi - 1973 - Notre Dame Journal of Formal Logic 14 (3):401-404.
An Unsolvable Problem Concerning Identities.Trevor Evans - 1969 - Notre Dame Journal of Formal Logic 10 (4):413-414.
An Unsolvable Provability Problem for One Variable Groupoid Equations.Peter Perkins - 1972 - Notre Dame Journal of Formal Logic 13 (3):359-362.
The Decidability of One-Variable Propositional Calculi.M. D. Gladstone - 1979 - Notre Dame Journal of Formal Logic 20 (2):438-450.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Jankov‐Theorems for Some Implicational Calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
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.
Generalizability of the Propositional and Predicate Calculi to Infinite-Valued Calculi.Hermann F. Schott - 1970 - Notre Dame Journal of Formal Logic 11 (1):107-128.
A Theorem On The Interrelationship Of Axiom Systems For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):165-167.
On the Non-Existence of Finite Characteristic Models for Some Classes of Implicational Calculi.Biswambhar Pahi - 1974 - Mathematical Logic Quarterly 20 (8-12):113-119.
Analytics
Added to PP index
2016-06-30
Total views
7 ( #1,005,151 of 2,409,610 )
Recent downloads (6 months)
1 ( #540,301 of 2,409,610 )
2016-06-30
Total views
7 ( #1,005,151 of 2,409,610 )
Recent downloads (6 months)
1 ( #540,301 of 2,409,610 )
How can I increase my downloads?
Downloads