• 제목/요약/키워드: Galois representations

검색결과 6건 처리시간 0.022초

Algebras and Semantics for Dual Negations

  • Yang, Eun-Suk
    • 논리연구
    • /
    • 제10권1호
    • /
    • pp.1-23
    • /
    • 2007
  • 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.

  • PDF