Blar i Department of Informatics på emneord "Utsagnslogikk"
Viser treff 1-1 av 1
-
Incompleteness of the Inference System BNeg
(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 ...