Korean Journal of Logic (논리연구)
- Volume 9 Issue 2
- /
- Pages.1-30
- /
- 2006
- /
- 1598-7493(pISSN)
Algebraic semantics for some weak Boolean logics
Abstract
This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension