An experimental logic based on the fundamental deduction principle

Artificial Intelligence 30 (2):117-263 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(86)90011-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,774

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

Deduction Systems in Artificial Intelligence.Karl Hans Bläsius & Hans-Jürgen Bürckert - 1989
A typed resolution principle for deduction with conditional typing theory.Tie-Cheng Wang - 1995 - Artificial Intelligence 75 (2):161-194.
Anytime deduction for probabilistic logic.Alan M. Frisch & Peter Haddawy - 1994 - Artificial Intelligence 69 (1-2):93-122.
The substitutional framework for sorted deduction: Fundamental results on hybrid reasoning.Alan M. Frisch - 1991 - Artificial Intelligence 49 (1-3):161-198.
A deduction model of belief.Kurt Konolige - 1986 - Los Atlos, Calif.: Morgan Kaufmann Publishers.
Deduction systems, Rolf Socher-ambrosius and Patricia Johann.Maarten de Rijke - 1999 - Journal of Logic, Language and Information 8 (4):476-478.
Review: Cary G. DeBessonet, A many-valued approach to deduction and reasoning for artificial intelligence. [REVIEW]Robert Stark - 1995 - Journal of Symbolic Logic 60 (4):1328-1329.
Conditional logic and the Principle of Entropy.Wilhelm Rödder - 2000 - Artificial Intelligence 117 (1):83-106.
On principle-based evaluation of extension-based argumentation semantics.Pietro Baroni & Massimiliano Giacomin - 2007 - Artificial Intelligence 171 (10-15):675-700.
The application of fuzzy logic to the precautionary principle.Mirit Shamir, Lior Shamir & Mary H. Durfee - 2007 - Artificial Intelligence and Law 15 (4):411-427.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,213,485)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
Towards the automation of set theory and its logic.Frank Malloy Brown - 1978 - Artificial Intelligence 10 (3):281-316.
Doing arithmetic without diagrams.F. Malloy Brown - 1977 - Artificial Intelligence 8 (2):175-200.

View all 6 references / Add more references