Browsing Øvrige samlinger by Author "Øgaard, Tore Fjetland"

Now showing items 1-3 of 3

  • Paths to Triviality 
    Øgaard, Tore Fjetland (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2015)
    This paper presents a range of new triviality proofs pertaining to naïve truth theory formulated in paraconsistent relevant logics. It is shown that excluded middle together with various permutation principles such as A → ...
  • Prospects for a Naive Theory of Classes 
    Field, Hartry; Lederman, Harvey; Øgaard, Tore Fjetland (Journal article / Tidsskriftartikkel / AcceptedVersion; Peer reviewed, 2017)
    The naive theory of properties states that for every condition there is a property instantiated by exactly the things which satisfy that condition. The naive theory of properties is inconsistent in classical logic, but ...
  • Skolem Functions in Non-Classical Logics 
    Øgaard, Tore Fjetland (Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2017)
    This paper shows how to conservatively extend theories formulated in non-classical logics such as the Logic of Paradox, the Strong Kleene Logic and relevant Logics with Skolem functions. Translations to and from the language ...