Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (8-11):165-167 (1972)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19720180805 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
No references found.
Citations of this work BETA
Jankov‐Theorems for Some Implicational Calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
Similar books and articles
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.
The Shortest Possible Length of the Longest Implicational Axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
An Unsolvable Problem Concerning Implicational Calculi.Biswambhar Pahi & Ralph C. Applebee - 1970 - Notre Dame Journal of Formal Logic 11 (2):200-202.
The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
Self-Verifying Axiom Systems, the Incompleteness Theorem and Related Reflection Principles.Dan E. Willard - 2001 - Journal of Symbolic Logic 66 (2):536-596.
A Proof of Axiomatizability of Łukasiewicz’s Three-Valued Implicational Propositional Calculus.T. Prucnal - 1967 - Studia Logica 20 (1):144-144.
Two Variable Implicational Calculi of Prescribed Many-One Degrees of Unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
Shortest Axiomatizations of Implicational S4 and S.Zachary Ernst, Branden Fitelson, Kenneth Harris & Larry Wos - 2002 - Notre Dame Journal of Formal Logic 43 (3):169-179.
Interpretations of Classical Implicational Sentential Calculus in Nonclassical Implicational Calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
Deduction Theorems for Weak Implicational Logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
The Simplest Axiom System for Hyperbolic Geometry Revisited, Again.Jesse Alama - 2014 - Studia Logica 102 (3):609-615.
Analytics
Added to PP index
2014-01-16
Total views
18 ( #567,422 of 2,419,996 )
Recent downloads (6 months)
2 ( #351,148 of 2,419,996 )
2014-01-16
Total views
18 ( #567,422 of 2,419,996 )
Recent downloads (6 months)
2 ( #351,148 of 2,419,996 )
How can I increase my downloads?
Downloads
