Towards a pseudoequational proof theory
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14310%2F18%3A00101744" target="_blank" >RIV/00216224:14310/18:00101744 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.4171/PM/2012" target="_blank" >http://dx.doi.org/10.4171/PM/2012</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.4171/PM/2012" target="_blank" >10.4171/PM/2012</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Towards a pseudoequational proof theory
Popis výsledku v původním jazyce
A new scheme for proving pseudoidentities from a given set Sigma of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Sigma defines a locally finite variety, a pseudovariety of groups, more generally, of completely simple semigroups, or of commutative monoids. Many further examples for which the scheme is complete are given when Sigma defines a pseudovariety V which is sigma-reducible for the equation x=y, provided Sigma is enough to prove a basis of identities for the variety of sigma-algebras generated by V. This gives ample evidence in support of the conjecture that the proof scheme is complete in general.
Název v anglickém jazyce
Towards a pseudoequational proof theory
Popis výsledku anglicky
A new scheme for proving pseudoidentities from a given set Sigma of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when Sigma defines a locally finite variety, a pseudovariety of groups, more generally, of completely simple semigroups, or of commutative monoids. Many further examples for which the scheme is complete are given when Sigma defines a pseudovariety V which is sigma-reducible for the equation x=y, provided Sigma is enough to prove a basis of identities for the variety of sigma-algebras generated by V. This gives ample evidence in support of the conjecture that the proof scheme is complete in general.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
10101 - Pure mathematics
Návaznosti výsledku
Projekt
<a href="/cs/project/GA15-02862S" target="_blank" >GA15-02862S: Aplikace algebry a kombinatoriky v teorii formálních jazyků</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2018
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ů
Údaje specifické pro druh výsledku
Název periodika
Portugaliae mathematica
ISSN
0032-5155
e-ISSN
—
Svazek periodika
75
Číslo periodika v rámci svazku
2
Stát vydavatele periodika
PT - Portugalská republika
Počet stran výsledku
41
Strana od-do
79-119
Kód UT WoS článku
000452893900001
EID výsledku v databázi Scopus
2-s2.0-85058806006