arXiv 2002-11-18 EN Sequent and Hypersequent Calculi for Abelian and Lukasiewicz Logics Metcalfe, G. · Olivetti, N. · Gabbay, D.
arXiv 2000-07-26 EN Entrenchment Relations: A Uniform Approach to Nonmonotonicity Georgatos, Konstantinos
