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.