Algebraic Kripke-Style Semantics for Relevance Logics

Eunsuk Yang

doi:10.1007/s10992-013-9290-6

Algebraic Kripke-Style Semantics for Relevance Logics

Eunsuk Yang^*

^*Corresponding author for this work

Department of Philosophy

Research output: Contribution to journal › Journal article › peer-review

8 Scopus citations

Abstract

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.

Original language	English
Pages (from-to)	803-826
Number of pages	24
Journal	Journal of Philosophical Logic
Volume	43
Issue number	4
DOIs	https://doi.org/10.1007/s10992-013-9290-6
State	Published - 2014.08

Keywords

(Algebraic) Kripke-style semantics
Algebraic semantics
Many-valued logic
Nuclear completion
Relevance logic

Quacquarelli Symonds(QS) Subject Topics

Philosophy

Access to Document

10.1007/s10992-013-9290-6

Cite this

@article{f0dacfbdf9594ee59b155cdc98be9385,

title = "Algebraic Kripke-Style Semantics for Relevance Logics",

abstract = "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.",

keywords = "(Algebraic) Kripke-style semantics, Algebraic semantics, Many-valued logic, Nuclear completion, Relevance logic",

author = "Eunsuk Yang",

year = "2014",

month = aug,

doi = "10.1007/s10992-013-9290-6",

language = "English",

volume = "43",

pages = "803--826",

journal = "Journal of Philosophical Logic",

issn = "0022-3611",

number = "4",

}

TY - JOUR

T1 - Algebraic Kripke-Style Semantics for Relevance Logics

AU - Yang, Eunsuk

PY - 2014/8

Y1 - 2014/8

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

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

KW - (Algebraic) Kripke-style semantics

KW - Algebraic semantics

KW - Many-valued logic

KW - Nuclear completion

KW - Relevance logic

UR - https://www.scopus.com/pages/publications/84904088553

U2 - 10.1007/s10992-013-9290-6

DO - 10.1007/s10992-013-9290-6

M3 - Journal article

AN - SCOPUS:84904088553

SN - 0022-3611

VL - 43

SP - 803

EP - 826

JO - Journal of Philosophical Logic

JF - Journal of Philosophical Logic

IS - 4

ER -

Algebraic Kripke-Style Semantics for Relevance Logics

Abstract

Keywords

Quacquarelli Symonds(QS) Subject Topics

Access to Document

Other files and links

Fingerprint

Cite this