Natural 3-valued logic—characterization and proof theory

Bounded Contraction in Systems with Linearity

TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Automated deduction for many-valued logics

Handbook of automated reasoning

Classical Gentzen-type methods in propositional many-valued logics

Beyond two

A proof-theoretic foundation of abortive continuations

Higher-Order and Symbolic Computation

Distance-based paraconsistent logics

International Journal of Approximate Reasoning

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics

Studia Logica

Gentzen-type refutation systems for three-valued logics with an application to disproving strong equivalence

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning

Ideal Paraconsistent Logics

Studia Logica

What is an ideal logic for reasoning with inconsistency?

IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two

Semantics and proof-theory of depth bounded Boolean logics

Theoretical Computer Science