About cookies on this site Our websites require some cookies to function properly (required). In addition, other cookies may be used with your consent to analyze site usage, improve the user experience and for advertising. For more information, please review your options. By visiting our website, you agree to our processing of information as described in IBM’sprivacy statement. To provide a smooth navigation, your cookie preferences will be shared across the IBM web domains listed here.
Publication
Jerusalem Conference on Information Technology 1990
Conference paper
What is an inference rule?
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.