Syllogistic inference within the propositional calculus
Notre Dame Journal of Formal Logic 5 (3):238-240 (1964)
| 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,631 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesRuggero Pagnan (2012). A Diagrammatic Calculus of Syllogisms. Journal of Logic, Language and Information 21 (3):347-364.
David A. Plaisted (1979). Inference Rules for Unsatisfiability. Dept. Of Computer Science, University of Illinois at Urbana-Champaign.
Stanisław Jaśkowski (1975). Three Contributions to the Two-Valued Propositional Calculus. Studia Logica 34 (1):121 - 132.
René[from old catalog] Calvache (1966). Tables for the Propositional Calculus (Logico-Mathematical Brain). Miami, Fla..
Wim Ruitenburg (1984). On the Period of Sequences (an(P)) in Intuitionistic Propositional Calculus. Journal of Symbolic Logic 49 (3):892 - 899.
S. Kamiński (1961). Traditional Theory of Immediate Inference as a Fragment of Two-Valued Propositional Calculus. Studia Logica 11 (1):21.
Herman Dishkant (1980). Three Prepositional Calculi of Probability. Studia Logica 39 (1):49 - 61.
Michael J. Carroll (1976). On Interpreting the S5 Propositional Calculus: An Essay in Philosophical Logic. Dissertation, University of Iowa
M. G. Beavers (1994). Theorem Counting. Topoi 13 (1):61-65.
Dexter Kozen (1988). A Finite Model Theorem for the Propositional Μ-Calculus. Studia Logica 47 (3):233 - 241.
Nadejda Georgieva (1971). Independence of the Axioms and Rules of Inference of One System of the Extended Propositional Calculus. Notre Dame Journal of Formal Logic 12 (2):214-218.
Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
E. -W. Stachow (1978). Quantum Logical Calculi and Lattice Structures. Journal of Philosophical Logic 7 (1):347 - 386.
Leon Horsten & Philip Welch (2007). The Undecidability of Propositional Adaptive Logic. Synthese 158 (1):41 - 60.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads4 ( #178,434 of 548,969 )Recent downloads (6 months)1 ( #63,511 of 548,969 )How can I increase my downloads? |
My notes
Discussion
