Negation is an operator. Its function is to claim that the proposition it modifies is false. In (2), for example, the speaker is claiming that the proposition that Mary went to the movies is false. In ...

We investigate the notion of classical negation from a non-classical perspective. In particular, one aim is to determine what classical negation amounts to in a paracomplete and paraconsistent ...

The purpose of this paper is to show a connection between the embedding of Heyting's logic in S4 with the translation which prefixes the necessity operator to every subformula and the embedding of ...