A kind of a bi-intuitionistic propositional logic is introduced that combines verification and its
dual. This logic, 2Int, is motivated by a certain dualization of the natural deduction rules for …

In this paper, a family of paraconsistent propositional logics with constructive negation,
constructive implication, and constructive co-implication is introduced. Although some …

The advent of Kripke semantics marked a decisive turning point for philosophical logic:
earlier axiomatic studies of modal concepts were replaced by a solid semantic method that …

The aim of this paper is to obtain a theoretical foundation of inconsistency-tolerant (or
paraconsistent) reasoning by presenting a comprehensive study of the structural proof …

We provide a direct method for proving Craig interpolation for a range of modal and
intuitionistic logics, including those containing a" converse" modality. We demonstrate this …

This thesis introduces the" method of structural refinement", which serves as a means of
transforming the relational semantics of a modal and/or constructive logic into …

Relatively recently nested sequent systems for modal logics have come to be seen as an
attractive deep-reasoning extension of familiar sequent calculi. In an earlier paper I showed …

Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual
to implication, called exclusion. We present a sound and complete cut-free labelled sequent …

Bi-intuitionistic logic, also known as Heyting-Brouwer logic or subtractive logic, is extended
in various ways by a strong negation connective used to express commitments arising from …

As anyone who reads the literature on bi-intuitionistic logic will know, the numerous papers
by Cecylia Rauszer are foundational but confusing. For example: these papers claim and …