33 KAM Mathematical Colloquium
Prof. BERNHARD BANASCHEWSKI
McMaster University, Hamilton, Canada
PROPOSITIONAL THEORIES, FRAMES AND FUZZY ALGEBRA
February 9, 1999
Lecture Room S6, Charles University, Malostranske nam. 25, Praha 1
10:30 AM
Abstract
Entities like the $T$-fuzzy subalgebras and congruences of an algebra (in the sense of Universal Algebra) will be discussed as $T$-valued models of suitable propositional theories, thus linking them to frames ($\equiv$ complete Heyting algebras) and providing a systematic setting for the study of the partially ordered sets arising in this context. It will be shown how this approach leads to suggestive new proofs of familiar facts as well as a variety of new results.
This colloquium is organized by KAM jointly with DIMATIA.
