# 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.