- 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
Full Models and Restricted Extensions of Propositional Calculi
Mathematical Logic Quarterly 17 (1):5-10 (1971)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Full Models and Restricted Extensions of Propositional Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):5-10.
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.
Locally Full χ0‐Valued Propositional Calculi.Alan Rose - 1972 - Mathematical Logic Quarterly 18 (13‐15):217-226.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
A Note on the Existence of Tautologies in Certain Propositional Calculi Without Propositional Variables.Alan Rose - 1976 - Mathematical Logic Quarterly 22 (1):117-118.
On a Method of Axiomatization of Some Propositional Calculi.Zdzislaw Dywan - 1987 - Mathematical Logic Quarterly 33 (1):65-68.
Triadic partial implicational propositional calculi.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):21-28.
Many‐Valued Modal Propositional Calculi.Pascal Ostermann - 1988 - Mathematical Logic Quarterly 34 (4):343-354.
Quantified propositional calculi and fragments of bounded arithmetic.Jan Krajíček & Pavel Pudlák - 1990 - Mathematical Logic Quarterly 36 (1):29-46.
Analytics
Added to PP
2016-02-04
Downloads
24 (#155,087)
6 months
4 (#1,635,958)
2016-02-04
Downloads
24 (#155,087)
6 months
4 (#1,635,958)
Historical graph of downloads
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-grz79 uwo