What Is an Inference Rule?

What Is an Inference Rule?,Journal of Symbolic Logic,Ronald Fagin,Joseph Y. Halpern,Moshe Y. Vardi

What Is an Inference Rule?   (Citations: 20)
BibTex | RIS | RefWorks Download
What is an inference rule? This question does not have a unique ansu'er. One usually finds two distinct standard answers in the literature: validity inference (u k> I+O if for every substitution T. the validity of T(U) entails the validity of ~(rp)). and truth inference lo I-, rp if for every substitution T. the truth of ~(o) entails the truth of ~(rp)). In this paper we introduce a general semantic framework that allows us to investigate the notion of inference more carefully. Validity inference and truth inference are in some sense the extremal points in our framework We investigate the relationship between various types of inference in our general framesork. and consider the complexity of deciding if an inference rule is sound. in the context of a number of logics of interest: classical propositional logic. a nonstandard propositional logic. various propositional modal logics. and first-order logic.
Journal: Journal of Symbolic Logic - JSYML , vol. 57, no. 3, pp. 1018-1045, 1992
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: