Blar i University of Bergen Library på tidsskrift "Logic Journal of the IGPL"
Viser treff 1-4 av 4
-
Boolean negation and non-conservativity I: Relevant modal logics
(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
(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
(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
(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. ...