"Minimal Paradefinite Logics for Reasoning with Incompleteness and ..."

Ofer Arieli, Arnon Avron (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics