Logic: Form and Function. The Mechanization of Deductive Reasoning

Journal of Symbolic Logic 51 (1):227-229 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273959

Links

PhilArchive



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

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

Logic: Form and Function : The Mechanization of Deductive Reasoning.J. D. Halpern - 1979 - New York, NY, USA: North-Holland.
Review: J. A. Robinson, Logic: Form and Function. The Mechanization of Deductive Reasoning. [REVIEW]J. D. Halpern - 1986 - Journal of Symbolic Logic 51 (1):227-229.
Robinson J. A.. Logic: form and function. The mechanization of deductive reasoning. Artificial intelligence series. North-Holland, New York 1979, vi + 312 pp. [REVIEW]J. D. Halpern - 1986 - Journal of Symbolic Logic 51 (1):227-229.
Logic and analyticity.Tyler Burge - 2003 - Grazer Philosophische Studien 66 (1):199-249.
Transition Logic Revisited.Wolfgang Bibel - 2008 - Logic Journal of the IGPL 16 (4):317-334.
Monotonicity in Practical Reasoning.Kenneth G. Ferguson - 2003 - Argumentation 17 (3):335-346.
On the Justification of Deductive Logic.Zuo-li Wang - 2006 - Nankai University (Philosophy and Social Sciences) 6:106-113.
The Metaphoric Fallacy to a Deductive Inference.Michael P. Berman & Brian A. Lightbody - 2010 - Informal Logic 30 (2):185-193.
The law of excluded middle and intuitionistic logic.Piotr Ukowski - 1998 - Logica Trianguli 2:73-86.
The Metaphoric Fallacy to a Deductive Inference.Brian Lightbody & Berman Michael - 2010 - Informal Logic: Reasoning and Argumentation in Theory and Practice 30 (2):185-193.
A deductive-reductive form of logic: General theory and intuitionistic case.Piotr Łukowski - 2002 - Logic and Logical Philosophy 10:59.
Reasoning Processes as Epistemic Dynamics.Fernando R. Velázquez-Quesada - 2015 - Axiomathes 25 (1):41-60.
Field on the Normative Role of Logic.Gilbert Harman - 2009 - Proceedings of the Aristotelian Society 109 (1pt3):333 - 335.
Formal aspects of Legal reasoning.A. Soeteman - 1995 - Argumentation 9 (5):731-746.
Communist Conventions for Deductive Reasoning.Sinan Dogramaci - 2013 - Noûs 49 (4):776-799.

Analytics

Added to PP
2017-02-21

Downloads
20 (#761,466)

6 months
1 (#1,470,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Frege and the resolution calculus.Peter Schroeder-Heister - 1997 - History and Philosophy of Logic 18 (2):95-108.

Add more citations

References found in this work

No references found.

Add more references