A decision procedure for positive implication
Notre Dame Journal of Formal Logic 3 (3):179-186 (1962)
| 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,882 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesMoti Mizrahi (2012). A Decision Procedure for Evaluating Natural Language Arguments. APA Newsletter on Teaching Philosophy 12 (1):11-12.
J. M. Alexander (2013). On the Redress of Grievances. Analysis 73 (2):228-230.
Dorota Leszczyńska-Jasion (2009). A Loop-Free Decision Procedure for Modal Propositional Logics K4, S4 and S. Journal of Philosophical Logic 38 (2):151 - 177.
John C. Harsanyi (1987). The Tracing Procedure: A Self-Correcting Reasoning Procedure. Theory and Decision 23 (1):7-23.
Luca Viganò (2000). An o(N Log N)-Space Decision Procedure for the Relevance Logic B+. Studia Logica 66 (3):385-407.
Paul Weirich (2001). Risk's Place in Decision Rules. Synthese 126 (3):427 - 441.
Claudio Pizzi (1993). Consequential Implication. A Correction To: ``Decision Procedures for Logics of Consequential Implication''. Notre Dame Journal of Formal Logic 34 (4):621-624.
A. Conti, P. Delbon, L. Laffranchi, C. Paganelli & F. De Ferrari (2012). HIV-Positive Status and Preservation of Privacy: A Recent Decision From the Italian Data Protection Authority on the Procedure of Gathering Personal Patient Data in the Dental Office. Journal of Medical Ethics 38 (6):386-388.
Joanna Golinska-Pilarek, Emilio Munoz-Velasco & Angel Mora (2012). Relational Dual Tableau Decision Procedure for Modal Logic K. Logic Journal of IGPL 20 (4):747-756.
E. K. Vojshvillo (1983). A Decision Procedure for the Systeme (of Entailment). I. Studia Logica 42 (2-3):139 - 164.
Enrica Carbone & John D. Hey (2001). A Test of the Principle of Optimality. Theory and Decision 50 (3):263-281.
Stephan Hartmann & Jan Sprenger (2012). Judgment Aggregation and the Problem of Tracking the Truth. Synthese 187 (1):209-221.
Nuel D. Belnap, Anil Gupta & J. Michael Dunn (1980). A Consecutive Calculus for Positive Relevant Implication with Necessity. Journal of Philosophical Logic 9 (4).
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads2 ( #234,778 of 556,909 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
