![Důležité termíny](https://cdn.muni.cz/media/3633704/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133572412150000000&heightratio=0.5&width=278)
Informace o publikaci
Towards a pseudoequational proof theory
Autoři | |
---|---|
Rok publikování | 2018 |
Druh | Článek v odborném periodiku |
Časopis / Zdroj | Portugaliae mathematica |
Fakulta / Pracoviště MU | |
Citace | |
www | http://dx.doi.org/10.4171/PM/2012 |
Doi | http://dx.doi.org/10.4171/PM/2012 |
Klíčová slova | Pseudoidentity; syntactical proof; semigroup; profinite monoid; completeness; reducible pseudovariety; implicit signature |
Popis | 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. |
Související projekty: |