A Strongly Complete Formalisation of a 5-Valued Propositional Calculus

Alan Rose. A Strongly Complete Formalisation of a 5-Valued Propositional Calculus. Math. Log. Q., 33(3):243-244, 1987. [doi]

Abstract

Abstract is missing.