Simple view
Full metadata view
Authors
Statistics
Semantic normal form
2002
journal article
article
Journal
Reports on Mathematical Logic
Author
Wroński Andrzej
Number
34
Pages
5-21
ISSN
0137-2904
eISSN
2084-2589
Access date
2021-10-07
Remarks
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
| 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.affiliation | Wydział Filozoficzny : Instytut Filozofii | pl |
| dc.contributor.author | Wroński, Andrzej - 132781 | pl |
| dc.date.accession | 2021-10-07 | pl |
| dc.date.accessioned | 2021-10-07T06:53:39Z | |
| dc.date.available | 2021-10-07T06:53:39Z | |
| dc.date.issued | 2002 | pl |
| dc.date.openaccess | 0 | |
| dc.description.accesstime | w momencie opublikowania | |
| dc.description.additional | Bibliogr. s. 19-21 | pl |
| dc.description.number | 34 | pl |
| dc.description.physical | 5-21 | pl |
| dc.description.version | ostateczna wersja wydawcy | |
| dc.identifier.eissn | 2084-2589 | pl |
| dc.identifier.issn | 0137-2904 | pl |
| dc.identifier.project | ROD UJ / OP | pl |
| dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/279593 | |
| dc.identifier.weblink | http://rml.tcs.uj.edu.pl/rml-34/34-WRONSKI.pdf | pl |
| dc.language | eng | pl |
| dc.language.container | eng | pl |
| dc.rights | Dozwolony użytek utworów chronionych | * |
| dc.rights.licence | Inna otwarta licencja | |
| dc.rights.uri | http://ruj.uj.edu.pl/4dspace/License/copyright/licencja_copyright.pdf | * |
| dc.share.type | otwarte czasopismo | |
| dc.subtype | Article | pl |
| dc.title | Semantic normal form | pl |
| dc.title.journal | Reports on Mathematical Logic | pl |
| dc.type | JournalArticle | pl |
| dspace.entity.type | Publication |
dc.abstract.enpl
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. dc.affiliationpl
Wydział Filozoficzny : Instytut Filozofii dc.contributor.authorpl
Wroński, Andrzej - 132781 dc.date.accessionpl
2021-10-07 dc.date.accessioned
2021-10-07T06:53:39Z dc.date.available
2021-10-07T06:53:39Z dc.date.issuedpl
2002 dc.date.openaccess
0 dc.description.accesstime
w momencie opublikowania dc.description.additionalpl
Bibliogr. s. 19-21 dc.description.numberpl
34 dc.description.physicalpl
5-21 dc.description.version
ostateczna wersja wydawcy dc.identifier.eissnpl
2084-2589 dc.identifier.issnpl
0137-2904 dc.identifier.projectpl
ROD UJ / OP dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/279593 dc.identifier.weblinkpl
http://rml.tcs.uj.edu.pl/rml-34/34-WRONSKI.pdf dc.languagepl
eng dc.language.containerpl
eng dc.rights*
Dozwolony użytek utworów chronionych dc.rights.licence
Inna otwarta licencja dc.rights.uri*
http://ruj.uj.edu.pl/4dspace/License/copyright/licencja_copyright.pdf dc.share.type
otwarte czasopismo dc.subtypepl
Article dc.titlepl
Semantic normal form dc.title.journalpl
Reports on Mathematical Logic dc.typepl
JournalArticle dspace.entity.type
Publication Affiliations
No affiliation
Wroński, Andrzej
* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.
Views
14
Views per month
Views per city
Ashburn
3
Wroclaw
2
Dublin
1
New York
1
Sofia
1
Downloads
wronski_semantic_normal_form_2000.pdf
14
wronski_semantic_normal_form_2000.odt
6
