- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Jankov‐theorems for some implicational calculi
Mathematical Logic Quarterly 21 (1):193-198 (1975)
Abstract
This article has no associated abstract. (fix it)My notes
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.
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.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Triadic partial implicational propositional calculi.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):21-28.
A Theorem On The Interrelationship Of Axiom Systems For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):165-167.
Bishwambhar Pahi and Ralph C. Applebee. An unsolvable problem concerning implicational calculi. Notre Dame journal of formal logic, vol. 11 , pp. 200–202. [REVIEW]M. D. Gladstone - 1972 - Journal of Symbolic Logic 37 (2):417.
A Method For Proving The Non-existence Of Finite Characteristic Models For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):169-172.
Review: Ralph C. Applebee, Biswambhar Pahi, Some Results on Generalized Truth-Tables. [REVIEW]David Makinson - 1973 - Journal of Symbolic Logic 38 (3):521-521.
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.
Analytics
Added to PP
2013-11-24
Downloads
9 (#449,242)
6 months
1 (#1,912,481)
2013-11-24
Downloads
9 (#449,242)
6 months
1 (#1,912,481)
Historical graph of downloads
References found in this work
Extensions of the Lewis system S5.Schiller Joe Scroggs - 1951 - Journal of Symbolic Logic 16 (2):112-120.
An application of kripke's completeness theorem for intuitionism to superconstructive propositional calculi.J. G. Anderson - 1969 - Mathematical Logic Quarterly 15 (16‐18):259-288.
Full Models and Restricted Extensions of Propositional Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):5-10.
A Theorem on the Interrelationship of Axiom systems for Implicational Calculi.Biswambhar Pahi - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (8-11):165-167.
On the Extension of the Intuitionist Propositional Calculus to the Classical Calculus, and the Minimal Calculus to the Intuitionist Calculus.V. A. Jankov - 1973 - Journal of Symbolic Logic 38 (2):331-332.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-68866f4b87-6mvtb uwo