Semantic normal form

Bibliographic description

title:	Semantic normal form
author:	Wroński Andrzej
journal title:	Reports on Mathematical Logic
issue:	34
date of publication :	2002
pages:	5-21
ISSN:	0137-2904
eISSN:	2084-2589
URL:	http://rml.tcs.uj.edu.pl/rml-34/34-WRONSKI.pdf
date accessed:	2021-10-07
notes:	Bibliogr. s. 19-21
language:	English
journal language:	English
abstract in English:	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 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.
affiliation:	Wydział Filozoficzny : Instytut Filozofii
type:	journal article
subtype:	academic paper