Algebraic Kripke-Style Semantics for Relevance Logics

Journal of Philosophical Logic 43 (4):803-826 (2014)
  Copy   BIBTEX


This paper deals with one kind of Kripke-style semantics, which we shall call algebraic Kripke-style semantics, for relevance logics. We first recall the logic R of relevant implication and some closely related systems, their corresponding algebraic structures, and algebraic completeness results. We provide simpler algebraic completeness proofs. We then introduce various types of algebraic Kripke-style semantics for these systems and connect them with algebraic semantics



    Upload a copy of this work     Papers currently archived: 93,031

External links

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

Through your library


Added to PP

72 (#233,996)

6 months
7 (#491,733)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Substructural inquisitive logics.Vít Punčochář - 2019 - Review of Symbolic Logic 12 (2):296-330.

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.
Entailment: The Logic of Relevance and Neccessity, Vol. I.Alan Ross Anderson & Nuel D. Belnap - 1975 - Princeton, N.J.: Princeton University Press. Edited by Nuel D. Belnap & J. Michael Dunn.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.

View all 58 references / Add more references