Boolean Conservative Extension Results for some Modal Relevant Logics

Abstract

This paper shows that a collection of modal relevant logics are conservatively extended by the addition of Boolean negation

    Similar works