Partial propositional logic

François Lepage

pp. 23-39

in: Mathieu Marion, Robert S. Cohen (eds), Québec studies in the philosophy of science, part I, Berlin, Springer, 1995

Abstract

From a strictly formal point of view, partial logic is a particular variety of trivalent logic. It gets its unique character from the specific interpretation it gives to the third truth-value, which is not considered to be an intermediate value having a status equivalent to that of true and false, but takes the place of a specific notion, that of the undefined.