Now showing items 1-1 of 1

    • Incompleteness of the Inference System BNeg 

      Golid, Kjetil Midtgarden (The University of Bergen, 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 ...
      Master thesis