Semantics for relevance logic with identity

Studia Logica 51 (1):1 - 20 (1992)
  Copy   BIBTEX

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)).

Categories

Keywords

Reprint years

DOI

10.1007/bf00370329

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Modality Without Reference. An Alternative Semantics for Substitutional Quantified Modal Logic and its Philosophical Significance.Bartosz Wieckowski - unknown
Relevant predication: Grammatical characterisations. [REVIEW]Philip Kremer - 1989 - Journal of Philosophical Logic 18 (4):349 - 382.
Quantifiers, propositions and identity: admissible semantics for quantified modal and substructural logics.Robert Goldblatt - 2011 - New York: Cambridge University Press.
Grafted frames and S1 -completeness.Beihai Zhou - 1999 - Journal of Symbolic Logic 64 (3):1324-1338.
A relevant theory of conditionals.Edwin D. Mares & André Fuhrmann - 1995 - Journal of Philosophical Logic 24 (6):645 - 665.
A star-free semantics for R.Edwin D. Mares - 1995 - Journal of Symbolic Logic 60 (2):579 - 590.
Semantics for quantified relevance logic.Kit Fine - 1988 - Journal of Philosophical Logic 17 (1):27 - 59.
On when a semantics is not a semantics: Some reasons for disliking the Routley-Meyer semantics for relevance logic.B. J. Copeland - 1979 - Journal of Philosophical Logic 8 (1):399-413.
Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Relevant identity.Philip Kremer - 1999 - Journal of Philosophical Logic 28 (2):199-222.

Analytics

Added to PP
2009-01-28

Downloads
56 (#287,524)

6 months
14 (#185,390)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

Citations of this work

Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
What is a Relevant Connective?Shawn Standefer - 2022 - Journal of Philosophical Logic 51 (4):919-950.
Notes on Stratified Semantics.Shay Allen Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.
Actual Issues for Relevant Logics.Shawn Standefer - 2020 - Ergo: An Open Access Journal of Philosophy 7.
Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.

View all 20 citations / Add more citations

References found in this work

Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
The Semantics of Entailment.Richard Routley & Robert K. Meyer - 1973 - In Hugues Leblanc (ed.), Truth, Syntax, and Modality: Proceedings Of The Temple University Conference On Alternative Semantlcs. Amsterdam and London: North-Holland Publishing Company. pp. 199-243.
Models for entailment.Kit Fine - 1974 - Journal of Philosophical Logic 3 (4):347 - 372.
Semantics for quantified relevance logic.Kit Fine - 1988 - Journal of Philosophical Logic 17 (1):27 - 59.
Relevant predication 1: The formal theory. [REVIEW]J. Michael Dunn - 1987 - Journal of Philosophical Logic 16 (4):347-381.

View all 6 references / Add more references