Publications

On the variety of WNM-algebras

Publication Type:

Conference Paper

Authors:

Carles Noguera; Francesc Esteva; Joan Gispert

Source:

Algebraic and Topological Methods in Non-Classical Logics II June 15-18, 2005 University of Barcelona Barcelona, Spain, p.60-61 (2005)

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)

Projects: 
MULOG
»