- Algebras and Semantics for Dual Negations
- Algebras and Semantics for Dual Negations
- ㆍ 저자명
- Yang. Eun-Suk
- ㆍ 간행물명
- 논리연구= Korean journal of logic
- ㆍ 권/호정보
- 2007년|10권 1호|pp.1-23 (23 pages)
- ㆍ 발행정보
- 한국논리학회
- ㆍ 파일정보
- 정기간행물|ENG| PDF텍스트
- ㆍ 주제분야
- 기타
Dunn investigated algebras and semantics for negations in non-classical logics. This paper extends his investigation to dual negations, more exactly to duals to the negations in Dunn [3, 5]. I first survey and systematize the algebras of dual negations, i.e., (self-dual) subminimal negation, dual Galois negations, dual minimal negation, wB (or dual intuitionistic) negation, (self-dual) De Morgan negation, and (self-dual) ortho negation, based on partially ordered sets. I next provide dual-perp semantics for these (dual) negations. I finally give representations for them by using dual-perp semantics.