论文信息 - Ordered domain algebras - 字舞流文

Ordered domain algebras

We give a finite axiomatisation to representable ordered domain algebras and show that finite algebras are representable on finite bases.

Szabolcs Mikulás | Robin Hirsch | R. Hirsch | S. Mikulás

[1] Georg Struth,et al. Domain and Antidomain Semigroups , 2009, RelMiCS.

[2] Georg Struth,et al. Domain Axioms for a Family of Near-Semirings , 2008, AMAST.

[3] Georg Struth,et al. Modal Semirings Revisited , 2008, MPC.

[4] B. M. Schein,et al. Representation of involuted semigroups by binary relations , 1974 .

[5] Georg Struth,et al. Internal axioms for domain semirings , 2011, Sci. Comput. Program..

[6] Szabolcs Mikulás,et al. Axiomatizability of representable domain algebras , 2011, J. Log. Algebraic Methods Program..