Reduction rules for resolution-based systems

, &
Artificial Intelligence 50 (2):141-181 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(91)90098-5

Links

PhilArchive



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

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

Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Destructive Modal Resolution ∗.Melvin Fitting - unknown
A Representational Approach to Reduction in Dynamical Systems.Marco Giunti - 2014 - Erkenntnis 79 (4):943-968.
Information and Inaccuracy.William Roche & Tomoji Shogenji - 2018 - British Journal for the Philosophy of Science 69 (2):577-604.
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.
Theory Reduction in Physics: A Model-Based, Dynamical Systems Approach.Joshua Rosaler - unknown
Identity-Based Reduction and Reductive Explanation.Raphael van Riel - 2010 - Philosophia Naturalis 47 (1-2):183-219.
Rule-based and rule-generating systems.Niels Ole Finnemann - 2000 - In P. B. Andersen, Claus Emmeche, N. O. Finnemann & P. V. Christiansen (eds.), Downward Causation. Aarhus, Denmark: University of Aarhus Press. pp. 278-301.
A Note on Harmony.Nissim Francez & Roy Dyckhoff - 2012 - Journal of Philosophical Logic 41 (3):613-628.
Graph-Based Bootstrapping for Coreference Resolution.P. Ranjani, T. V. Geetha & J. Balaji - 2014 - Journal of Intelligent Systems 23 (3):293-310.
Comparing and implementing calculi of explicit substitutions with eta-reduction.Mauricio Ayala-Rincón, Flávio L. C. de Moura & Fairouz Kamareddine - 2005 - Annals of Pure and Applied Logic 134 (1):5-41.
Resolution-based methods for modal logics.H. de Nivelle, R. Schmidt & U. Hustadt - 2000 - Logic Journal of the IGPL 8 (3):265-292.
Emulation, reduction, and emergence in dynamical systems.Marco Giunti - 2005 - In Proceedings of the 6th Systems Science European Congress, Paris, September 19-22, 2005. (CD-ROM). AFSCET.
Proof theory for admissible rules.Rosalie Iemhoff & George Metcalfe - 2009 - Annals of Pure and Applied Logic 159 (1-2):171-186.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,706,418)

6 months
2 (#1,192,610)

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

Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.

Add more references