Skip to main content Accessibility help

An alternative semantics for quantified relevant logic

  • Edwin D. Mares (a1) and Robert Goldblatt (a2)


The quantified relevant logic RQ is given a new semantics in which a formula ∀xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are modelled as functions from variable-assignments to propositions, where a proposition is a set of worlds in a relevant model structure. A completeness proof is given for a basic quantificational system QR from which RQ is obtained by adding the axiom EC of ‘extensional confinement’: ∀x(AB) → (A ⋁ ∀xB), with x not free in A. Validity of EC requires an additional model condition involving the boolean difference of propositions. A QR-model falsifying EC is constructed by forming the disjoint union of two natural arithmetical structures in which negation is interpreted by the minus operation.



Hide All
[1]Anderson, Alan R., Belnap, Nuel D., and Dunn, J. M., Entailment: The logic of relevance and necessity, vol. II, Princeton University Press, Princeton, 1992.
[2]Armstrong, David M., A world of states of affairs. Cambridge University Press, Cambridge, 1997.
[3]Brady, Ross (editor), Relevant logics and their rivals, vol. II, Ashgate, Aldershot, 2003.
[4]Chang, C. C. and Kiesler, H. Jerome, Model theory, second ed., North Holland, Amsterdam, 1977.
[5]Dunn, J. Michael, Algebraic completeness results for R-mingle and its extensions, this Journal, vol. 35 (1970), pp. 113.
[6]Dunn, J. Michael, Star and perp, Philosophical Perspectives, vol. 7 (1993), pp. 331357.
[7]Dunn, J. Michael and Restall, Greg, Relevance logic, Handbook of philosophical logic (Gabbay, G. M. and Guenthner, F., editors), vol. 6, Kluwer, Dordrecht, second ed., 2002, pp. 1128.
[8]Fine, Kit, Models for entailment, Journal of Philosophical Logic, vol. 3 (1974), pp. 347372, Reprinted in Anderson, Belnap, and Dunn (1992) § 51.
[9]Fine, Kit, Semantics for quantified relevance logic, Journal of Philosophical Logic, vol. 17 (1988), pp. 2259, Reprinted in Anderson, Belnap, and Dunn (1992) § 53.
[10]Fine, Kit, Incompleteness for quantified relevance logics, Directions in relevant logic (Norman, J. and Sylvan, R., editors), Kluwer, Dordrecht, 1989, Reprinted in Anderson, Belnap, and Dunn (1992) § 52, pp. 205225.
[11]Halmos, Paul, Algebriac logic, Chelsea, New York, 1962.
[12]Meyer, Robert K. and Dunn, J. Michael, E, R, and γ, this Journal, vol. 34 (1969), pp. 460474.
[13]Meyer, Robert K., Dunn, J. Michael, and Leblanc, Hughes, Completeness of relevant quantificational theories, Notre Dame Journal of Formal Logic, vol. 15 (1974), pp. 97121.
[14]Restall, Greg, An introduction to substructural logics, Routledge, London, 2000.
[15]Routley, Richard and Meyer, Robert K., The semantics of entailment (I), Truth, syntax, and modality (Leblanc, Hughes, editor), North Holland, Amsterdam, 1973, pp. 199243.
[16]Routley, Richard, Meyer, Robert K., Plumwood, Val, and Brady, Ross T., Relevant logics and their rivals, vol. 1, Ridgeview, Atascardero, 1982.
[17]Russell, Bertrand, The philosophy of logical atomism, 1918, reprinted in Russell, , The Philosophy of Logical Atomism, Open Court, LaSalle, IL, 1985.

Related content

Powered by UNSILO

An alternative semantics for quantified relevant logic

  • Edwin D. Mares (a1) and Robert Goldblatt (a2)


Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed.