scientific article; zbMATH DE number 1156790

zbMATH Open0897.03057MaRDI QIDQ4390777FDOQ4390777

Authors: Judit Madarász, István Németi, Gábor Sági 

Publication date: 19 October 1998

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 59352
• On the variety generated by completions of representable relation algebras
• scientific article; zbMATH DE number 2174391
• Completeness theory for finite partial algebras
• scientific article; zbMATH DE number 919546
• A completeness result for relation algebra with binders
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Reducts of relation algebras: the aspects of axiomatisability and finite representability
• scientific article; zbMATH DE number 868093
• Complexity of equations valid in algebras of relations. II: Finite axiomatizations

zbMATH Keywords

finitizationrepresentable relation algebrasfinitely axiomatizableaxiomatizability of the \(n\)-variable fragment \(L_n\) of first-order logicpermutation invariant operations

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15)

Cited In (3)

• A Neat Embedding Theorem for Expansions of Cylindric Algebras
• Complexity of equations valid in algebras of relations. I: Strong non-finitizability
• Title not available (Why is that?)

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 Q4390777)