ALMEIDA, Jorge a Ondřej KLÍMA. Towards a pseudoequational proof theory. Portugaliae mathematica, Lisboa, 2018, roč. 75, č. 2, s. 79-119. ISSN 0032-5155. doi:10.4171/PM/2012.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Towards a pseudoequational proof theory
Autoři ALMEIDA, Jorge (620 Portugalsko) a Ondřej KLÍMA (203 Česká republika, garant, domácí).
Vydání Portugaliae mathematica, Lisboa, 2018, 0032-5155.
Další údaje
Originální jazyk angličtina
Typ výsledku Článek v odborném periodiku
Obor Pure mathematics
Stát vydavatele Portugalsko
Utajení není předmětem státního či obchodního tajemství
Impakt faktor Impact factor: 0.629 v roce 2017
Kód RIV RIV/00216224:14310/18:00101744
Organizační jednotka Přírodovědecká fakulta
Doi http://dx.doi.org/10.4171/PM/2012
UT WoS 000452893900001
Klíčová slova anglicky Pseudoidentity; syntactical proof; semigroup; profinite monoid; completeness; reducible pseudovariety; implicit signature
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. Mgr. Ondřej Klíma, Ph.D., učo 3868. Změněno: 1. 3. 2019 18:52.
Anotace
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ávaznosti
GA15-02862S, projekt VaVNázev: Aplikace algebry a kombinatoriky v teorii formálních jazyků
Investor: Grantová agentura ČR, Standardní projekty
VytisknoutZobrazeno: 18. 8. 2019 03:27