Browsing Registrations from Cristin by Journals "Logic Journal of the IGPL"

Now showing items 1-4 of 4

    • Boolean negation and non-conservativity I: Relevant modal logics 

      Øgaard, Tore Fjetland (Journal article; Peer reviewed, 2021)
      Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant ...

    • Boolean negation and non-conservativity II: The variable-sharing property 

      Øgaard, Tore Fjetland (Journal article; Peer reviewed, 2021)
      Many relevant logics are conservatively extended by Boolean negation. Not all, however. This paper shows an acute form of non-conservativeness, namely that the Boolean-free fragment of the Boolean extension of a relevant ...

    • Boolean negation and non-conservativity III: the Ackermann constant 

      Øgaard, Tore Fjetland (Journal article; Peer reviewed, 2021)
      It is known that many relevant logics can be conservatively extended by the truth constant known as the Ackermann constant. It is also known that many relevant logics can be conservatively extended by Boolean negation. ...

    • Extensions in graph normal form 

      Walicki, Michal (Journal article; Peer reviewed, 2022)
      Graph normal form, introduced earlier for propositional logic, is shown to be a normal form also for first-order logic. It allows to view syntax of theories as digraphs, while their semantics as kernels of these digraphs. ...