Proof Theory for Fuzzy Logics by George Metcalfe, Nicola Olivetti, Dov M. Gabbay.

by Metcalfe, George, Olivetti, Nicola, Gabbay, Dov M.
Published 2009

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings edited by Nicola Olivetti.

Published 2007

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings edited by Nicola Olivetti, Ashish Tiwari.

Published 2016