1. Three New Genuine Five-valued Logics Intended to Model Non-trivial Concepts;Electronic Notes in Theoretical Computer Science;2020-12
2. Sequent-Type Calculi for Systems of Nonmonotonic Paraconsistent Logics;Electronic Proceedings in Theoretical Computer Science;2020-09-19
3. Paraconsistent constructive logic with strong negation as a contraction-free relevant logic;Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science;2018
4. Introduction: The Proscriptive Principle;Meaning and Proscription in Formal Logic;2017
5. Cut-Down Operations on Multilattices;Meaning and Proscription in Formal Logic;2017