Systems of the propositional and of the functional calculus based on one primitive term
Studia Logica 6 (1):7 - 55 (1957)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesT. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Czesław Lejewski (1968). A Propositional Calculus in Which Three Mutually Undefinable Functors Are Used as Primitive Terms. Studia Logica 22 (1):17 - 50.
Aldo Ursini (1979). A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ. Studia Logica 38 (3):297 - 311.
K. Hałkowska (1967). A Note on the System of Propositional Calculus with Primitive Rule of Extensionality. Studia Logica 20 (1).
Melvin Fitting (1972). $\Varepsilon$-Calculus Based Axiom Systems for Some Propositional Modal Logics. Notre Dame Journal of Formal Logic 13 (3):381-384.
Maria Luisa Bonet & Samuel R. Buss (1993). The Deduction Rule and Linear and Near-Linear Proof Simulations. Journal of Symbolic Logic 58 (2):688-709.
D. A. Bochvar & Merrie Bergmann (1981). On a Three-Valued Logical Calculus and its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus. History and Philosophy of Logic 2 (1-2):87-112.
Czesław Lejewski (1989). Formalization of Functionally Complete Propositional Calculus with the Functor of Implication as the Only Primitive Term. Studia Logica 48 (4):479 - 494.
Juliusz Reichbach (1965). On the Connection of the First-Order Functional Calculus with $\Aleph_0}$ Propositional Calculus. Notre Dame Journal of Formal Logic 6 (1):73-80.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads4 ( #178,586 of 549,069 )Recent downloads (6 months)1 ( #63,185 of 549,069 )How can I increase my downloads? |
My notes
Discussion
