Prolegomena to a theory of mechanized formal reasoning

Artificial Intelligence 13 (1-2):133-170 (1980)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(80)90015-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,758

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

Reasoning about partial functions with the aid of a computer.William M. Farmer - 1995 - Erkenntnis 43 (3):279 - 294.
Three Conceptions of Formal Logic.Thom Paul - 2010 - Vivarium 48 (1-2):228-242.
The Role of Formal Justice in Ethical Reasoning.Georg Spielthenner - 2015 - Res Publica 21 (1):77-92.
A set theory with support for partial functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
Formal Epistemology and the New Paradigm Psychology of Reasoning.Niki Pfeifer & Igor Douven - 2014 - Review of Philosophy and Psychology 5 (2):199-221.
The Forward-Looking Requirement of Formal Justice: Neil MacCormick on Consequential Reasoning.Maksymilian Del Mar - 2015 - Jurisprudence 6 (3):429-450.
Mechanized Reasoning.W. Mays, D. M. Mccallum & J. B. Smith - 1953 - Journal of Symbolic Logic 18 (1):68-69.
Mechanized Reasoning--Logical Computors and Their Design.D. B. Mccallum & J. B. Smith - 1952 - Journal of Symbolic Logic 17 (1):77-77.
Mechanized analysis of Anselm’s modal ontological argument.John Rushby - 2020 - International Journal for Philosophy of Religion 89 (2):135-152.
The “Rationality Wars” in Psychology: Where They Are and Where They Could Go.Thomas Sturm - 2012 - Inquiry: An Interdisciplinary Journal of Philosophy 55 (1):66-81.
Review: W. Mays, Mechanized Reasoning; D. M. McCallum, J. B. Smith, The Authors Reply. [REVIEW]George W. Patterson - 1953 - Journal of Symbolic Logic 18 (1):68-69.
McCallum D. B. and Smith J. B.. Mechanized reasoning—logical computers and their design. Electronics engineering, vol. 23 , pp. 126–133. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):77-77.
D. B. McCallum and J. B. Smith. Mechanized reasoning—logical computers and their design. Electronics engineering, vol. 23 , pp. 126–133. [REVIEW]George W. Patterson - 1952 - Journal of Symbolic Logic 17 (1):77-77.
Gist another panacea? Or just the illusion of inclusion.Mark L. Howe & F. Michael Rabinowitz - 1991 - Developmental Review 11 (4):305-316.
The Role of Intuitive Probability in Scientific Theory Formation.Helen3 De Cruz - 2009 - In Benedikt Löwe, Eric Pacuit & Jan-Willem Romeijn (eds.), Foundations of the Formal Sciences VI: Probabilistic Reasoning and Reasoning with Probabilitie. pp. 123-139.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,160,245)

6 months
9 (#351,255)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Languages with self-reference I: Foundations.Donald Perlis - 1985 - Artificial Intelligence 25 (3):301-322.
A blackboard architecture for control.Barbara Hayes-Roth - 1985 - Artificial Intelligence 26 (3):251-321.
A theory of abstraction.Fausto Giunchiglia & Toby Walsh - 1992 - Artificial Intelligence 57 (2-3):323-389.
Logic and artificial intelligence.Nils J. Nilsson - 1991 - Artificial Intelligence 47 (1-3):31-56.

View all 23 citations / Add more citations

References found in this work

Transfinite recursive progressions of axiomatic theories.Solomon Feferman - 1962 - Journal of Symbolic Logic 27 (3):259-316.

Add more references