TitleOn the variety of WNM-algebras
Publication TypeConference Paper
Year of Publication2005
AuthorsNoguera C, Esteva F, Gispert J
Editorde Barcelona U
Conference NameAlgebraic and Topological Methods in Non-Classical Logics II June 15-18, 2005 University of Barcelona Barcelona, Spain
Pagination60-61
Abstract

Weak Nilpotent Minimum logic (WNM, for short) was introduced by Esteva and Godo by means of a Hilbert style calculus in the language L = {*,->,^, 0} of type (2, 2, 2, 0), where the only inference rule is Modus Ponens and the axiom schemata are the following (taking -> as the least binding connective)