Encoding Two-Valued Nonclassical Logics in Classical Logic
Hans Jürgen Ohlbach; Andreas Nonnengart; Maarten de Rijke; Dov M. Gabbay
Get Handbook of Automated Reasoning now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.