Abstract
Models are constructed for a variety of systems of quantified relevance logic with identity. Models are given for systems with different principles governing the transitivity of identity and substitution, and the relative merits of these principles are discussed. The models in this paper are all extensions of the semantics of Fine's “Semantics for Quantified Relevance Logic” (Journal of Philosophical Logic 17 (1988)).
Similar content being viewed by others
References
A. R. Anderson, N. D. Belnap, Jr., and J. M. Dunn, Entailment: Logic of Relevance and Necessity, Vol. 2, Princeton University Press, Princeton, forthcoming.
J. M. Dunn, Relevant predication I: The formal theory, Journal of Philosophical Logic 16 (1987), pp. 347–381. Reprinted as § 74 of [1].
K. Fine, Models for entailment, Journal of Philosophical Logic 3 (1974), pp. 347–372. Reprinted as § 51 of [1].
K. Fine, Semantics for quantified relevance logic, Journal of Philosophical Logic 17 (1988), pp. 27–59. Reprinted as § 53 of [1].
K. Fine, Incompleteness of quantified relevance logics, in Directions in Relevance Logic, R. Sylvan (ed.), forthcoming. Reprinted as § 52 of [1].
Ph. Kremer, Relevant predication: Grammatical characterizations, Journal of Philosophical Logic 18 (1989), pp. 349–382.
R. Routley and R. K. Meyer, The semantics of entailment, in Truth, Syntax, and Modality, H. Leblanc (ed.), North-Holland, Amsterdam, 1973, pp. 199–243.
R. Routley, R. K. Meyer, V. Plumwood, and R. T. Brady, Relevant Logics and Their Rivals I, Ridgewiev, Atascadero, CA, 1982.
Author information
Authors and Affiliations
Additional information
I am indebted to J. M. Dunn for reading earlier versions of this paper. I am also grateful to Nuel D. Belnap, Jr., Robert K. Meyer, Timothy Day, and Adriano Palma for discussing the topic with me and to Kit Fine for helpful correspondence. Moreover, I am grateful to an anonymous referee for many useful suggestions. A slightly different version presented in a seminar in the philosophy department of the Research School for Social Sciences at The Australian National University. While working on this paper I was funded by postdoctoral fellowship 456-89-0128 from the Social Sciences and Humanities Research Council of Canada.
Rights and permissions
About this article
Cite this article
Mares, E.D. Semantics for relevance logic with identity. Studia Logica 51, 1–20 (1992). https://doi.org/10.1007/BF00370329
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF00370329