Three-valued and Intuitionist Logic
Three-Valued Propositional Logics: Semantics
Three-Valued First-Order Logics: Semantics