Title :
What is an inference rule?
Author :
Fagin, Ronald ; Halpern, Joseph Y. ; Vardi, Moshe Y.
Author_Institution :
IBM Almaden Res. Center, San Jose, CA, USA
Abstract :
A general semantic framework that allows the notion of inference to be investigated is introduced. Validity inference and truth inference are in some sense the extremal points of the framework used. The relationship between various types of inference is studied, and their complexity is considered 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
Keywords :
formal logic; inference mechanisms; classical propositional logic; complexity; first-order logic; inference rule; nonstandard propositional logic; propositional modal logics; semantic framework; truth inference; validity inference;
Conference_Titel :
Information Technology, 1990. 'Next Decade in Information Technology', Proceedings of the 5th Jerusalem Conference on (Cat. No.90TH0326-9)
Conference_Location :
Jerusalem
Print_ISBN :
0-8186-2078-1
DOI :
10.1109/JCIT.1990.128310
