Halmos algebras and axiomatizable classes of quasi-groups

DOI10.1070/RM1985v040n04ABEH003663zbMath0589.20052OpenAlexW1995519888MaRDI QIDQ3717296

A. A. Gvaramiya

Publication date: 1985

Published in: Russian Mathematical Surveys (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1070/rm1985v040n04abeh003663

zbMATH Keywords

inverse automataaxiomatizable universal classes of quasigroupsHalmos algebraspredicate calculus in quasigroupsregular automatonstable quasigroup formulae

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Loops, quasigroups (20N05) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (2)

Multi-sorted logic, models, and logical geometry. ⋮ Universal algebraic geometry: syntax and semantics

This page was built for publication: Halmos algebras and axiomatizable classes of quasi-groups