논리연구 (Korean Journal of Logic)
- 제9권2호
- /
- Pages.1-30
- /
- 2006
- /
- 1598-7493(pISSN)
Algebraic semantics for some weak Boolean logics
초록
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