Jagiellonian University Repository

Semantic normal form


Semantic normal form

Show full item record

dc.contributor.author Wroński, Andrzej [SAP11003915] pl
dc.date.accessioned 2021-10-07T06:53:39Z
dc.date.available 2021-10-07T06:53:39Z
dc.date.issued 2002 pl
dc.identifier.issn 0137-2904 pl
dc.identifier.uri https://ruj.uj.edu.pl/xmlui/handle/item/279593
dc.language eng pl
dc.rights Dozwolony użytek utworów chronionych *
dc.rights.uri http://ruj.uj.edu.pl/4dspace/License/copyright/licencja_copyright.pdf *
dc.title Semantic normal form pl
dc.type JournalArticle pl
dc.description.physical 5-21 pl
dc.description.additional Bibliogr. s. 19-21 pl
dc.identifier.weblink http://rml.tcs.uj.edu.pl/rml-34/34-WRONSKI.pdf pl
dc.abstract.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 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. pl
dc.description.number 34 pl
dc.identifier.eissn 2084-2589 pl
dc.title.journal Reports on Mathematical Logic pl
dc.language.container eng pl
dc.date.accession 2021-10-07 pl
dc.affiliation Wydział Filozoficzny : Instytut Filozofii pl
dc.subtype Article pl
dc.rights.original OTHER; otwarte czasopismo; ostateczna wersja wydawcy; w momencie opublikowania; 0 pl
dc.identifier.project ROD UJ / OP pl

Files in this item

This item appears in the following Collection(s)

Dozwolony użytek utworów chronionych Except where otherwise noted, this item's license is described as Dozwolony użytek utworów chronionych