- 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
Superconstructive Propositional Calculi with Extra Axiom Schemes Containing One Variable
Mathematical Logic Quarterly 18 (8-11):113-130 (1972)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
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.
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.
Rosser J. B. et Turquette A. R.. Axiom schemes for m-valued propositional calculi. [REVIEW]Robert Feys - 1946 - Journal of Symbolic Logic 11 (3):86-89.
Formalisations of Many‐Valued Propositional Calculi with Variable Functors.John Jones - 1985 - Mathematical Logic Quarterly 31 (25‐28):403-422.
Formalisations of Certain Propositional Calculi with Partially Variable Functors.Alan Rose - 1965 - Mathematical Logic Quarterly 11 (2):177-180.
Axiom schemes for m-valued propositional calculi.J. B. Rosser & A. R. Turquette - 1945 - Journal of Symbolic Logic 10 (3):61-82.
Axiom Schemes for M-Valued Propositional Calculi.Robert Feys, J. B. Rosser & A. R. Turquette - 1946 - Journal of Symbolic Logic 11 (3):86.
J. B. Rosser and A. R. Turquette. Axiom schemes for m-valued functional calculi of first order. Part I. Definition of axiom schemes and proof of plausibility. The journal of symbolic logic, vol. 13 , pp. 177–192. [REVIEW]Burton Spencer Dreben - 1950 - Journal of Symbolic Logic 14 (4):259-260.
A Theorem On The Interrelationship Of Axiom Systems For Implicational Calculi.Biswambhar Pahi - 1972 - Mathematical Logic Quarterly 18 (8-11):165-167.
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
Analytics
Added to PP
2014-01-16
Downloads
12 (#317,170)
6 months
4 (#1,635,958)
2014-01-16
Downloads
12 (#317,170)
6 months
4 (#1,635,958)
Historical graph of downloads
Citations of this work
Modal companions of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1992 - Studia Logica 51 (1):49 - 82.
The undecidability of the disjunction property of propositional logics and other related problems.Alexander Chagrov & Michael Zakharyaschev - 1993 - Journal of Symbolic Logic 58 (3):967-1002.
The disjunction property of intermediate propositional logics.Alexander Chagrov & Michael Zakharyashchev - 1991 - Studia Logica 50 (2):189 - 216.
Counting the maximal intermediate constructive logics.Mauro Ferrari & Pierangelo Miglioli - 1993 - Journal of Symbolic Logic 58 (4):1365-1401.
On the extension of intuitionistic propositional logic with Kreisel-Putnam's and Scott's schemes.Pierluigi Minari - 1986 - Studia Logica 45 (1):55-68.
References found in this work
Semantical Analysis of Intuitionistic Logic I.Saul A. Kripke - 1963 - In Michael Dummett & J. N. Crossley (eds.), Formal Systems and Recursive Functions. Amsterdam,: North Holland. pp. 92-130.
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-6686886f5-xdvnm uwo