D. M. Gabbay
-
A normal form which preserves tautologies and contradictions in a class of fuzzy logics
Journal of Algorithms
Review: logical mechanism design
The Knowledge Engineering Review