Abstract
This paper addresses operational Kripke-style semantics for basic fuzzy substructural logics and their involutive extensions. First, we discuss fuzzy logic based on mianorm and their algebraic semantics together with their algebraic completeness. We next introduce various sorts of binary operational Kripke-style semantics, called here Urquhart-style semantics, for the systems and establish soundness and completeness results for them. In particular, we establish two kinds of completeness results, which we shall call algebra-based and set-theoretic completeness. Finally, we extend this investigation to involutive fuzzy logics and their corresponding Urquhart-style semantics.
| Original language | English |
|---|---|
| Pages (from-to) | 187-207 |
| Number of pages | 21 |
| Journal | Journal of Multiple-Valued Logic and Soft Computing |
| Volume | 41 |
| Issue number | 1-2 |
| State | Published - 2023 |
Keywords
- (core) fuzzy logics
- algebraic semantics
- involution
- Kripke-style semantics
- Urquhart-style semantics
Quacquarelli Symonds(QS) Subject Topics
- Computer Science & Information Systems
- Mathematics
Fingerprint
Dive into the research topics of '(Involutive) Basic Substructural Fuzzy Logics and Urquhart-style Semantics'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver