Linear resolution with selection function

&
Artificial Intelligence 2 (3-4):227-260 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(71)90012-9

Links

PhilArchive



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

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

On a Question of Phillips.Çiǧdem Gencer & Mehmet Terziler - 1997 - Mathematical Logic Quarterly 43 (1):78-82.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Biological function, selection, and reduction.Richard N. Manning - 1997 - British Journal for the Philosophy of Science 48 (1):69-82.
The Universe as an Argument: Argumentative function—a Peircean orientation.Philip Rose - unknown
The misuse of Sober's selection for/selection of distinction.R. Goode & P. E. Griffiths - 1995 - Biology and Philosophy 10 (1):99-108.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.
Selection and causation.Mohan Matthen & André Ariew - 2009 - Philosophy of Science 76 (2):201-224.
Does proper function come in degrees?John Matthewson - 2020 - Biology and Philosophy 35 (4):1-18.
Linear orders with distinguished function symbol.Douglas Cenzer, Barbara F. Csima & Bakhadyr Khoussainov - 2009 - Archive for Mathematical Logic 48 (1):63-76.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Complexity of resolution proofs and function introduction.Matthias Baaz & Alexander Leitsch - 1992 - Annals of Pure and Applied Logic 57 (3):181-215.
The Continuing Usefulness Account of Proper Function.Peter H. Schwartz - 2002 - In Andre Ariew, Robert Cummins & Mark Perlman (eds.), Functions: New Essays in the Philosophy of Psychology and Biology. Clarendon Press.
Function, selection, and construction in the brain.Justin Garson - 2012 - Synthese 189 (3):451-481.
Testimony as Evidence: More Problems for Linear Pooling. [REVIEW]Katie Steele - 2012 - Journal of Philosophical Logic 41 (6):983-999.
Levels of Selection.Robert A. Wilson - 2007 - In Mohan Matthen & Christopher Stephens (eds.), Handbook of the Philosophy of Science, Volume 3, Philosophy of Biology. pp. 155-176.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,318,021)

6 months
6 (#520,934)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.
Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.
Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
Refutation graphs.Robert E. Shostak - 1976 - Artificial Intelligence 7 (1):51-64.

View all 15 citations / Add more citations

References found in this work

Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.
Resolution graphs.Robert A. Yates, Bertram Raphael & Timothy P. Hart - 1970 - Artificial Intelligence 1 (3-4):257-289.

Add more references