Short Conjunctive Normal Forms in Finitely Valued Logics

Abstract

Journal Article Short Conjunctive Normal Forms in Finitely Valued Logics Get access REINER HÄHNLE REINER HÄHNLE Institut für Logik, Komplexität und Deduktionssysteme, Fakultät für Informatik, Universität Karlsruhe76128 Karlsruhe, Germany. E-mail:haehnle@ira.uka.de Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 4, Issue 6, December 1994, Pages 905–927, https://doi.org/10.1093/logcom/4.6.905 Published: 01 December 1994 Article history Received: 13 August 1993 Published: 01 December 1994