A propositional calculus intermediate between the minimal calculus and the classical
Notre Dame Journal of Formal Logic 7 (4):353-358 (1966)
| 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,653 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesCharles Parsons (1969). Corrigendum to My Paper: ``A Propositional Calculus Intermediate Between the Minimal Calculus and the Classical''. Notre Dame Journal of Formal Logic 10 (3):336-336.
Wim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
Leon Horsten & Philip Welch (2007). The Undecidability of Propositional Adaptive Logic. Synthese 158 (1):41 - 60.
René[from old catalog] Calvache (1966). Tables for the Propositional Calculus (Logico-Mathematical Brain). Miami, Fla..
Stanisław Jaśkowski (1975). Three Contributions to the Two-Valued Propositional Calculus. Studia Logica 34 (1):121 - 132.
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
René David & Walter Py (2001). -Calculus and Böhm's Theorem. Journal of Symbolic Logic 66 (1):407-413.
Othman Qasim Malhas (1987). Quantum Logic and the Classical Propositional Calculus. Journal of Symbolic Logic 52 (3):834-841.
Xavier Caicedo & Roberto Cignoli (2001). An Algebraic Approach to Intuitionistic Connectives. Journal of Symbolic Logic 66 (4):1620-1636.
Corrado Böhm & Silvio Micali (1980). Minimal Forms in Λ-Calculus Computations. Journal of Symbolic Logic 45 (1):165-171.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
T. Thacher Robinson (1968). Independence of Two Nice Sets of Axioms for the Propositional Calculus. Journal of Symbolic Logic 33 (2):265-270.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads5 ( #160,204 of 548,984 )Recent downloads (6 months)1 ( #63,327 of 548,984 )How can I increase my downloads? |
My notes
Discussion
