scientific article; zbMATH DE number 150219

MaRDI QIDQ4032851zbMATH OpenFDO

Authors Szabolcs Mikulás, Ildikó Sain, András Simon

Publication date 1 April 1993

zbMATH Keywords

axiomatizabilityfirst-order theoryrelation algebrasset theoretical projection functionstrue pairing algebrasvariety

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Complexity of equational theory of relational algebras with standard projection elements
• Decision problems for equational theories of relation algebras
• Relation algebras can tile
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations
• Finitary Algebraic Logic

Cited in

(13)

• On computation complexity problems concerning relation algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• A short proof of representability of fork algebras
• On the equational complexity of RRA
• Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies
• Projective DNF formulae and their revision
• scientific article; zbMATH DE number 4217898 (Why is no real title available?)
• Weakly associative relation algebras with projections
• Complete Problems Involving Boolean Labelled Structures and Projection Transactions
• Decision problems for equational theories of relation algebras
• scientific article; zbMATH DE number 2024618 (Why is no real title available?)
• scientific article; zbMATH DE number 1420828 (Why is no real title available?)
• Complexity of equational theory of relational algebras with standard projection elements

This page was built for publication:

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