Semantic normal form

• Autorzy: Wroński A.
• Konferencja: Algebra & Substructural Logics (10-17.11.1999 ; Japan)
• Języki publikacji: EN

Abstrakty

EN

The idea of semantic normal form originally developed by Jankov [17] for Brouwerian semilattices is made applicable to the variety of equivalential algebras and thereby, to a broader family of locally finite and permutable varieties obeying the conditions of Fregeanity i.e. point regularity and and congruence orderability. It is proved that every term in the language of such a variety can be equivalently expressed with the help of a relatively small set of building blocks manufactured from so-called monolith assignments.

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2000
• Tom: No. 34
• Strony: 5--21

Twórcy

autor

Wroński A.

• Uniwersytet Jagielloński Katedra Logiki ul. Grodzka 52 31-044 Kraków,