The recent development and exploration of mixed metainferential logics is a breakthrough in
our understanding of nontransitive and nonreflexive logics. Moreover, this exploration poses …

In this paper we treat metasequents—objects which stand to sequents as sequents stand to
formulas—as first class logical citizens. To this end we provide a metasequent calculus, a …

This paper continues my earlier work, which showed there is a broad family of propositional
many valued logics that have a strict/tolerant counterpart. Here we generalize those results …