Archive for Mathematical Logic

The structure of multiplicatives

Vincent Danos, Laurent Régnier · 1989 · 347 citations

Natural Sciences, Mathematics, Algebra +1

Residuated fuzzy logics with an involutive negation

Francesc Esteva, Petr Hájek, Mirko Navara · 2000 · 205 citations

Humanities, Computer Science, Mathematics +7

Non-dual fuzzy connections

George Georgescu, Andrei Popescu · 2004 · 198 citations

Boolean deductive systems of BL-algebras

2001 · 188 citations

Natural Sciences, Computer Science, Mathematics +10

A complete many-valued logic with product-conjunction

Petr Hájek, Francesc Esteva · 1996 · 173 citations

Humanities, Computer Science, Mathematics +3