Set-theoretic kripke-style semantics for monoidal t-norm (based) logics

Eunsuk Yang

doi:10.3233/978-1-61499-722-1-131

Set-theoretic kripke-style semantics for monoidal t-norm (based) logics

Eunsuk Yang^*

^*Corresponding author for this work

Department of Philosophy

Research output: Contribution to conference › Conference paper › peer-review

1 Scopus citations

Abstract

This paper deals with non-algebraic binary relational semantics, called here set-theoretic Kripke-style semantics, for monoidal t-norm (based) logics. For this, we first introduce the system MTL (Monoidal t-norm logic) and some of its prominent axiomatic extensions, and then their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

Original language	English
Title of host publication	Fuzzy Systems and Data Mining II - Proceedings of FSDM 2016
Editors	Shilei Sun, Antonio J. Tallon-Ballesteros, Dragan S. Pamucar, Feng Liu
Publisher	IOS Press BV
Pages	131-137
Number of pages	7
ISBN (Electronic)	9781614997214
DOIs	https://doi.org/10.3233/978-1-61499-722-1-131
State	Published - 2016
Event	2nd International Conference on Fuzzy Systems and Data Mining, FSDM 2016 - Macau, China Duration: 2016.12.11 → 2016.12.14

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	293
ISSN (Print)	0922-6389
ISSN (Electronic)	1879-8314

Conference

Conference	2nd International Conference on Fuzzy Systems and Data Mining, FSDM 2016
Country/Territory	China
City	Macau
Period	16.12.11 → 16.12.14

Keywords

(Set-theoretic) Kripke-style semantics
Fuzzy logic
Relational semantics
Substructural logic
T-norm (based) logics

Quacquarelli Symonds(QS) Subject Topics

Computer Science & Information Systems
Data Science

Access to Document

10.3233/978-1-61499-722-1-131

Cite this

@inproceedings{204d939bd84f446ebba5a312801bb914,

title = "Set-theoretic kripke-style semantics for monoidal t-norm (based) logics",

abstract = "This paper deals with non-algebraic binary relational semantics, called here set-theoretic Kripke-style semantics, for monoidal t-norm (based) logics. For this, we first introduce the system MTL (Monoidal t-norm logic) and some of its prominent axiomatic extensions, and then their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.",

keywords = "(Set-theoretic) Kripke-style semantics, Fuzzy logic, Relational semantics, Substructural logic, T-norm (based) logics",

author = "Eunsuk Yang",

note = "Publisher Copyright: {\textcopyright} 2016 The authors and IOS Press. All rights reserved.; 2nd International Conference on Fuzzy Systems and Data Mining, FSDM 2016 ; Conference date: 11-12-2016 Through 14-12-2016",

year = "2016",

doi = "10.3233/978-1-61499-722-1-131",

language = "English",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press BV",

pages = "131--137",

editor = "Shilei Sun and Tallon-Ballesteros, \{Antonio J.\} and Pamucar, \{Dragan S.\} and Feng Liu",

booktitle = "Fuzzy Systems and Data Mining II - Proceedings of FSDM 2016",

}

Yang, E 2016, Set-theoretic kripke-style semantics for monoidal t-norm (based) logics. in S Sun, AJ Tallon-Ballesteros, DS Pamucar & F Liu (eds), Fuzzy Systems and Data Mining II - Proceedings of FSDM 2016. Frontiers in Artificial Intelligence and Applications, vol. 293, IOS Press BV, pp. 131-137, 2nd International Conference on Fuzzy Systems and Data Mining, FSDM 2016, Macau, China, 16.12.11. https://doi.org/10.3233/978-1-61499-722-1-131

Set-theoretic kripke-style semantics for monoidal t-norm (based) logics. / Yang, Eunsuk.
Fuzzy Systems and Data Mining II - Proceedings of FSDM 2016. ed. / Shilei Sun; Antonio J. Tallon-Ballesteros; Dragan S. Pamucar; Feng Liu. IOS Press BV, 2016. p. 131-137 (Frontiers in Artificial Intelligence and Applications; Vol. 293).

Research output: Contribution to conference › Conference paper › peer-review

TY - GEN

T1 - Set-theoretic kripke-style semantics for monoidal t-norm (based) logics

AU - Yang, Eunsuk

PY - 2016

Y1 - 2016

N2 - This paper deals with non-algebraic binary relational semantics, called here set-theoretic Kripke-style semantics, for monoidal t-norm (based) logics. For this, we first introduce the system MTL (Monoidal t-norm logic) and some of its prominent axiomatic extensions, and then their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

AB - This paper deals with non-algebraic binary relational semantics, called here set-theoretic Kripke-style semantics, for monoidal t-norm (based) logics. For this, we first introduce the system MTL (Monoidal t-norm logic) and some of its prominent axiomatic extensions, and then their corresponding Kripke-style semantics. Next, we provide set-theoretic completeness results for them.

KW - (Set-theoretic) Kripke-style semantics

KW - Fuzzy logic

KW - Relational semantics

KW - Substructural logic

KW - T-norm (based) logics

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

U2 - 10.3233/978-1-61499-722-1-131

DO - 10.3233/978-1-61499-722-1-131

M3 - Conference paper

AN - SCOPUS:85026900320

T3 - Frontiers in Artificial Intelligence and Applications

SP - 131

EP - 137

BT - Fuzzy Systems and Data Mining II - Proceedings of FSDM 2016

A2 - Sun, Shilei

A2 - Tallon-Ballesteros, Antonio J.

A2 - Pamucar, Dragan S.

A2 - Liu, Feng

PB - IOS Press BV

T2 - 2nd International Conference on Fuzzy Systems and Data Mining, FSDM 2016

Y2 - 11 December 2016 through 14 December 2016

ER -

Set-theoretic kripke-style semantics for monoidal t-norm (based) logics

Abstract

Publication series

Conference

Keywords

Quacquarelli Symonds(QS) Subject Topics

Access to Document

Other files and links

Fingerprint

Cite this