Minimal varieties of logic
by
Tomasz Kowalski
Japan Advanced Institute of Science and Technology

``Varieties of logic'' is a catchall phrase used sometimes to refer to these varieties of algebras that have some reasonable connection with (mostly nonclassical) logics. Algebras in these varieties are typically residuated structures, and the varieties are - again typically - congruence distributive. We will present a couple of case studies on minimal subvarieties of some varieties of logic, focusing particularly on the cardinality of the ``set'' of minimal subvarieties.

Date received: January 30, 2002

Copyright © 2002 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cain-06.