Modus Ponens and Derivation from Horn Formulas

Mathematical Logic Quarterly 13 (3-5):33-54 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19670130302

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modus Ponens Defended.Justin Bledin - 2015 - Journal of Philosophy 112 (2):57-83.
Sorites is no threat to modus ponens: a reply to Kochan.Colin Howson - 2009 - International Studies in the Philosophy of Science 23 (2):209-212.
Logic for A.I. - Solutions.Rosalie Iemhoff - unknown
The suppression of modus ponens as a case of pragmatic preconditional reasoning.Jean-Francois Bonnefon & Denis J. Hilton - 2002 - Thinking and Reasoning 8 (1):21 – 40.
Meaning and Justification: The Case of Modus Ponens.Joshua Schechter & David Enoch - 2006 - Noûs 40 (4):687 - 715.
On weakening the Deduction Theorem and strengthening Modus Ponens.Félix Bou, Josep Maria Font & José Luis García Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303-324.
Naive Modus Ponens and Failure of Transitivity.Andreas Fjellstad - 2016 - Journal of Philosophical Logic 45 (1):65-72.
Modal horn classes.Holger Sturm - 2000 - Studia Logica 64 (3):301-313.
On weakening the Deduction Theorem and strengthening of Modus Ponens.F. Bou, J. M. Font & J. L. G. Lapresta - 2004 - Mathematical Logic Quarterly 50 (3):303.
Preservation, Commutativity and Modus Ponens: Two Recent Triviality Results.Jake Chandler - 2017 - Mind 126 (502):579-602.
Vann McGee’s counterexample to Modus Ponens: An enthymeme.Joseph S. Fulda - 2010 - Journal of Pragmatics 42 (1):271-273.
Naive Modus Ponens.Elia Zardini - 2013 - Journal of Philosophical Logic 42 (4):575-593.
Human reasoning with imprecise probabilities: Modus ponens and Denying the antecedent.Niki Pfeifer & G. D. Kleiter - 2007 - In Proceedings of the 5 T H International Symposium on Imprecise Probability: Theories and Applications. pp. 347--356.
Ifs and Oughts.Niko Kolodny & John MacFarlane - 2010 - Journal of Philosophy 107 (3):115-143.
Gentzen formulations of two positive relevance logics.Aleksandar Kron - 1980 - Studia Logica 39 (4):381 - 403.

Analytics

Added to PP
2013-11-24

Downloads
34 (#462,603)

6 months
6 (#510,035)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
Introduction to mathematical logic..Alonzo Church - 1944 - Princeton,: Princeton university press: London, H. Milford, Oxford university press. Edited by C. Truesdell.
Introduction to Mathematical Logic.Max Black - 1956 - Journal of Symbolic Logic 22 (3):286-289.
Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.

View all 7 references / Add more references