Ordered domain algebras

DOI10.1016/J.JAL.2013.04.002zbMATH Open1284.03275OpenAlexW2007699150MaRDI QIDQ2446547FDOQ2446547

Authors: Szabolcs Mikulás, Robin Hirsch 

Publication date: 17 April 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.04.002

zbMATH Keywords

relationdomain algebrafinite axiomatisationfinite representationCayley representation

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cites Work

• Axiomatizability of representable domain algebras
• Representation of involuted semigroups by binary relations
• Internal axioms for domain semirings
• Domain Axioms for a Family of Near-Semirings
• Domain and antidomain semigroups
• Title not available (Why is that?)

Cited In (12)

• Title not available (Why is that?)
• On the variety generated by generalized subreducts of Tarski's algebras of relations
• On algebras of binary relations with conjunctive operations
• Finite representability of semigroups with demonic refinement
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• On Jónsson's problem for groupoids of relations with operation of binary cylindrification
• On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation
• Axioms for signatures with domain and demonic composition
• Order-independence algebras
• ORDER ALGEBRAS
• On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection
• On groupoids of relations with one conjunctive operation of rank 2

This page was built for publication: Ordered domain algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2446547)