Blar i Department of Informatics på forfatter "Golid, Kjetil Midtgarden"
-
Incompleteness of the Inference System BNeg
Golid, Kjetil Midtgarden (Master thesis, 2016-05-31)Any propositional discourse can be represented as a propositional theory in a specific form in such a way that the theory is inconsistent if and only if the discourse is paradoxical. Propositional theories in this form can ...