Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation

&
Artificial Intelligence 16 (2):189-211 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(81)90010-2

Links

PhilArchive



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

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

Limiting logical pluralism.Suki Finn - 2019 - Synthese 198 (Suppl 20):4905-4923.
The rewriting calculus - part II.H. Cirstea & K. Kirchner - 2001 - Logic Journal of the IGPL 9 (3):377-410.
Intuitionistic propositional logic with Galois connections.Wojciech Dzik, Jouni Järvinen & Michiro Kondo - 2010 - Logic Journal of the IGPL 18 (6):837-858.
Answer Synthesis for CLP Programs with Negation.Gilles Richard & Frédéric Saubion - 1997 - Logic Journal of the IGPL 5 (3):30-66.
Acceptance, inference, and the multiple-conclusion sequent.Tor Sandqvist - 2012 - Synthese 187 (3):913-924.
Epistemic selectivity, historical threats, and the non-epistemic tenets of scientific realism.Timothy D. Lyons - 2017 - Synthese 194 (9):3203-3219.
Liar-type paradoxes and intuitionistic natural deduction systems.Seungrak Choi - 2018 - Korean Journal of Logic 21 (1):59-96.
The non-existence of “inference claims”.Gilbert Edward Plumer - 2019 - In Bart Garssen, David Godden, Gordon R. Mitchell & Jean H. M. Wagemans (eds.), Proceedings of the Ninth Conference of the International Society for the Study of Argumentation (ISSA). [Amsterdam, July 3-6, 2018.]. Amsterdam, The Netherlands: Sic Sat. pp. 913-918.
Characteristic Inference Rules.Alex Citkin - 2015 - Logica Universalis 9 (1):27-46.
Inference to the Best Explanation Made Incoherent.Nevin Climenhaga - 2017 - Journal of Philosophy 114 (5):251-273.
The problem of basic deductive inference.Gordon Barnes - manuscript
Bayesian Inference and its Application to Meta-Analysis of Epidemiologic Data.Pamela Anne Trudeau - 1991 - Dissertation, The University of Texas Health Sciences Center at Houston School of Public Health
Categorical Abstract Algebraic Logic: Bloom's Theorem for Rule-Based π-Institutions.George Voutsadakis - 2008 - Logic Journal of the IGPL 16 (3):233-248.
Abduction, Selection, and Selective Abduction.Gerhard Minnameier - 2006 - In Lorenzo Magnani & Claudia Casadio (eds.), Model Based Reasoning in Science and Technology. Logical, Epistemological, and Cognitive Issues. Springer Verlag.
The algebraic sum of sets of real numbers with strong measure zero sets.Andrej Nowik, Marion Scheepers & Tomasz Weiss - 1998 - Journal of Symbolic Logic 63 (1):301-324.

Analytics

Added to PP
2020-12-22

Downloads
6 (#1,425,536)

6 months
5 (#652,053)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A metatheory of a mechanized object theory.Fausto Giunchiglia & Paolo Traverso - 1996 - Artificial Intelligence 80 (2):197-241.
Natural language directed inference from ontologies.Chris Mellish & Jeff Z. Pan - 2008 - Artificial Intelligence 172 (10):1285-1315.

View all 6 citations / Add more citations

References found in this work

Prolegomena to a theory of mechanized formal reasoning.Richard W. Weyhrauch - 1980 - Artificial Intelligence 13 (1-2):133-170.
A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
Towards the automation of set theory and its logic.Frank Malloy Brown - 1978 - Artificial Intelligence 10 (3):281-316.

Add more references