• 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 ...