Abstract
We study micanorm-based logics with three forms of weak associativity. To be more exact, for e ∈ [0, 1], the [0, e]-continuous v-weak-associative uninorm (vwa-uninorm) logics tuWABUL, tuABUL, and tuSABUL are first introduced as a weak associative generalization of BUL (Basic uninorm logic). Their algebraic semantics and completeness results are then addressed. Next, [0, e]-continuous vwa-uninorms are introduced and related algebraic properties are investigated. Finally, standard completeness results are provided for the logics by a construction of Yang-style.
| Original language | English |
|---|---|
| Article number | jzaf073 |
| Journal | Logic Journal of the IGPL |
| Volume | 33 |
| Issue number | 6 |
| DOIs | |
| State | Published - 2025.12.1 |
Keywords
- micanorm
- semilinear logic
- uninorm
- weak associative uninorm
Fingerprint
Dive into the research topics of 'Weak associative micanorm-based logics: [0, e]-continuous ν-weak-associative logics'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver