Journal of Symbolic Logic

What is an Inference Rule?

Ronald Fagin, Joseph Y. Halpern, and Moshe Y. Vardi

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

What is an inference rule? This question does not have a unique answer. One usually finds two distinct standard answers in the literature; validity inference $(\sigma \vdash_\mathrm{v} \varphi$ if for every substitution $\tau$, the validity of $\tau \lbrack\sigma\rbrack$ entails the validity of $\tau\lbrack\varphi\rbrack)$, and truth inference $(\sigma \vdash_\mathrm{t} \varphi$ if for every substitution $\tau$, the truth of $\tau\lbrack\sigma\rbrack$ entails the truth of $\tau\lbrack\varphi\rbrack)$. 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 framework, 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.

Article information

Source
J. Symbolic Logic, Volume 57, Issue 3 (1992), 1018-1045.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744056

Mathematical Reviews number (MathSciNet)
MR1187464

Zentralblatt MATH identifier
0761.03010

JSTOR
links.jstor.org

Citation

Fagin, Ronald; Halpern, Joseph Y.; Vardi, Moshe Y. What is an Inference Rule?. J. Symbolic Logic 57 (1992), no. 3, 1018--1045. https://projecteuclid.org/euclid.jsl/1183744056


Export citation