Bibliographic Details
| Title: |
Implicational (dual) Residuated Semilinear Gaggle Logics. |
| Authors: |
YANG, EUNSUK1 eunsyang@jbnu.ac.kr |
| Source: |
Journal of Multiple-Valued Logic & Soft Computing. 2025, Vol. 46 Issue 5/6, p419-438. 20p. |
| Subjects: |
Completeness theorem, Residuated lattices, Kripke semantics, Logic, Implication (Logic) |
| Abstract: |
Yang and Dunn [28] recently introduced implicational (dual) residuated partial gaggle logics. Here we extend those logics to semilinear ones. More precisely, this paper first defines the class of implicational (dual) residuated prelinear gaggle logics and shows that these logics are semilinear in an algebraic context, that is, they are semilinear in the sense that on linearly ordered matrices they are complete. We next introduce a relational semantics, called Routley-Meyer-style semantics, for finitary those logics and provide completeness for them using the semantics. We finally generalize the term "semilinear" to a notion applicable in both algebraic and set-theoretic contexts and show that finitary those logics are semilinear in this sense. [ABSTRACT FROM AUTHOR] |
|
Copyright of Journal of Multiple-Valued Logic & Soft Computing is the property of Old City Publishing, Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) |
| Database: |
Engineering Source |
