On prevarieties of logic

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F19%3A00504825" target="_blank" >RIV/67985807:_____/19:00504825 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s00012-019-0611-7" target="_blank" >http://dx.doi.org/10.1007/s00012-019-0611-7</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00012-019-0611-7" target="_blank" >10.1007/s00012-019-0611-7</a>

Jazyk výsledku
angličtina
Název v původním jazyce
On prevarieties of logic
Popis výsledku v původním jazyce
It is proved that every prevariety of algebras is categorically equivalent to a 'prevariety of logic', i.e., to the equivalent algebraic semantics of some sentential deductive system. This allows us to show that no nontrivial equation in the language 'meet, join, and relational product' holds in the congruence lattices of all members of every variety of logic, and that being a (pre)variety of logic is not a categorical property.
Název v anglickém jazyce
On prevarieties of logic
Popis výsledku anglicky
It is proved that every prevariety of algebras is categorically equivalent to a 'prevariety of logic', i.e., to the equivalent algebraic semantics of some sentential deductive system. This allows us to show that no nontrivial equation in the language 'meet, join, and relational product' holds in the congruence lattices of all members of every variety of logic, and that being a (pre)variety of logic is not a categorical property.

Projekt
<a href="/cs/project/EF17_050%2F0008361" target="_blank" >EF17_050/0008361: Rozvoj lidských zdrojů pro výzkum v teoretické informatice</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění
2019
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)