- 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
Restricted Extensions of Implicational Calculi
Mathematical Logic Quarterly 17 (1):11-16 (1971)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Full Models and Restricted Extensions of Propositional Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):5-10.
Full Models and Restricted Extensions of Propositional Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):5-10.
Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
Fragments of Modal and Intuitionistic Propositional Calculi.Ralph Henry Moon - 1979 - Dissertation, Purdue University
An unsolvable problem concerning implicational calculi.Biswambhar Pahi & Ralph C. Applebee - 1970 - Notre Dame Journal of Formal Logic 11 (2):200-202.
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.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
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 incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Mathematical Logic Quarterly 38 (1):321-323.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Extensions of the Modal Calculi MC v and MC∞. Comparison of them with Similar Calculi Endowed with Different Semantics. Application to Probability Theory. [REVIEW]Aldo Bressan - 1981 - In U. Mönnich (ed.), Aspects of Philosophical Logic. Dordrecht. pp. 21--66.
Completeness of implicational relevant logics.R. Kashima - 2000 - Logic Journal of the IGPL 8 (6):761-785.
Analytics
Added to PP
2016-02-04
Downloads
21 (#736,702)
6 months
1 (#1,469,946)
2016-02-04
Downloads
21 (#736,702)
6 months
1 (#1,469,946)
Historical graph of downloads
References found in this work
Some theorems about the sentential calculi of Lewis and Heyting.J. C. C. McKinsey & Alfred Tarski - 1948 - Journal of Symbolic Logic 13 (1):1-15.
A propositional calculus with denumerable matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
A solution of the decision problem for the Lewis systems s2 and s4, with an application to topology.J. C. C. McKinsey - 1941 - Journal of Symbolic Logic 6 (4):117-134.
The pure calculus of entailment.Alan Ross Anderson & Nuel D. Belnap - 1962 - Journal of Symbolic Logic 27 (1):19-52.
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-64dd777598-pjbg5 uwo