"A Method to Single out Maximal Propositional Logics with the Disjunction ..."

Mauro Ferrari, Pierangelo Miglioli (1995)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics