Basic core fuzzy logics and algebraic routley–meyer-style semantics

Eunsuk Yang

doi:10.3390/axioms10040273

Basic core fuzzy logics and algebraic routley–meyer-style semantics

Eunsuk Yang^*

^*Corresponding author for this work

Department of Philosophy

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

1 Scopus citations

Abstract

Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together with their algebraic semantics. Next, we introduce two kinds of ternary relational semantics, called here linear Urquhart-style and Fine-style Routley–Meyer semantics, for them as algebraic Routley–Meyer-style semantics.

Original language	English
Article number	273
Journal	Axioms
Volume	10
Issue number	4
DOIs	https://doi.org/10.3390/axioms10040273
State	Published - 2021.12

Keywords

(core) fuzzy logics
Algebraic semantics
Implicational tonoid fuzzy logics
Operational semantics
Routley–meyer-style semantics

Quacquarelli Symonds(QS) Subject Topics

Mathematics
Physics & Astronomy

Access to Document

10.3390/axioms10040273

Cite this

@article{d6e6136a1c0346c99ba8008e897a53eb,

title = "Basic core fuzzy logics and algebraic routley–meyer-style semantics",

abstract = "Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together with their algebraic semantics. Next, we introduce two kinds of ternary relational semantics, called here linear Urquhart-style and Fine-style Routley–Meyer semantics, for them as algebraic Routley–Meyer-style semantics.",

keywords = "(core) fuzzy logics, Algebraic semantics, Implicational tonoid fuzzy logics, Operational semantics, Routley–meyer-style semantics",

author = "Eunsuk Yang",

note = "Publisher Copyright: {\textcopyright} 2021 by the authors. Licensee MDPI, Basel, Switzerland.",

year = "2021",

month = dec,

doi = "10.3390/axioms10040273",

language = "English",

volume = "10",

journal = "Axioms",

issn = "2075-1680",

number = "4",

}

TY - JOUR

T1 - Basic core fuzzy logics and algebraic routley–meyer-style semantics

AU - Yang, Eunsuk

PY - 2021/12

Y1 - 2021/12

N2 - Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together with their algebraic semantics. Next, we introduce two kinds of ternary relational semantics, called here linear Urquhart-style and Fine-style Routley–Meyer semantics, for them as algebraic Routley–Meyer-style semantics.

AB - Recently, algebraic Routley–Meyer-style semantics was introduced for basic substructural logics. This paper extends it to fuzzy logics. First, we recall the basic substructural core fuzzy logic MIAL (Mianorm logic) and its axiomatic extensions, together with their algebraic semantics. Next, we introduce two kinds of ternary relational semantics, called here linear Urquhart-style and Fine-style Routley–Meyer semantics, for them as algebraic Routley–Meyer-style semantics.

KW - (core) fuzzy logics

KW - Algebraic semantics

KW - Implicational tonoid fuzzy logics

KW - Operational semantics

KW - Routley–meyer-style semantics

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

U2 - 10.3390/axioms10040273

DO - 10.3390/axioms10040273

M3 - Journal article

AN - SCOPUS:85118267187

SN - 2075-1680

VL - 10

JO - Axioms

JF - Axioms

IS - 4

M1 - 273

ER -

Basic core fuzzy logics and algebraic routley–meyer-style semantics

Abstract

Keywords

Quacquarelli Symonds(QS) Subject Topics

Access to Document

Other files and links

Fingerprint

Cite this