{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T13:22:50Z","timestamp":1762262570936,"version":"build-2065373602"},"reference-count":0,"publisher":"European Mathematical Society - EMS - Publishing House GmbH","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Port. Math."],"published-print":{"date-parts":[[2018,12,12]]},"abstract":"<jats:p>\n                    A new scheme for proving pseudoidentities from a given set\n                    <jats:inline-formula>\n                      <jats:tex-math>\\Sigma<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when\n                    <jats:inline-formula>\n                      <jats:tex-math>\\Sigma<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    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\n                    <jats:inline-formula>\n                      <jats:tex-math>\\Sigma<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    defines a pseudovariety V which is\n                    <jats:inline-formula>\n                      <jats:tex-math>\\sigma<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    -reducible for the equation\n                    <jats:inline-formula>\n                      <jats:tex-math>x = y<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    , provided\n                    <jats:inline-formula>\n                      <jats:tex-math>\\Sigma<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    is enough to prove a basis of identities for the variety of\n                    <jats:inline-formula>\n                      <jats:tex-math>\\sigma<\/jats:tex-math>\n                    <\/jats:inline-formula>\n                    -algebras generated by V. This gives ample evidence in support of the conjecture that the proof scheme is complete in general.\n                  <\/jats:p>","DOI":"10.4171\/pm\/2012","type":"journal-article","created":{"date-parts":[[2018,12,12]],"date-time":"2018-12-12T17:30:12Z","timestamp":1544635812000},"page":"79-119","source":"Crossref","is-referenced-by-count":2,"title":["Towards a pseudoequational proof theory"],"prefix":"10.4171","volume":"75","author":[{"given":"Jorge","family":"Almeida","sequence":"first","affiliation":[{"name":"Universidade do Porto, Portugal"}]},{"given":"Ond\u0159ej","family":"Kl\u00edma","sequence":"additional","affiliation":[{"name":"Masaryk University, Brno, Czechia"}]}],"member":"2673","container-title":["Portugaliae Mathematica"],"original-title":[],"link":[{"URL":"http:\/\/www.ems-ph.org\/fulltext\/10.4171\/PM\/2012","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T13:12:46Z","timestamp":1762261966000},"score":1,"resource":{"primary":{"URL":"https:\/\/ems.press\/doi\/10.4171\/pm\/2012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,12]]},"references-count":0,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.4171\/pm\/2012","relation":{},"ISSN":["0032-5155","1662-2758"],"issn-type":[{"type":"print","value":"0032-5155"},{"type":"electronic","value":"1662-2758"}],"subject":[],"published":{"date-parts":[[2018,12,12]]}}}