DocumentCode
2765242
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
fYear
1990
fDate
22-25 Oct 1990
Firstpage
391
Lastpage
401
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/JCIT.1990.128310
Filename
128310
Link To Document