scientific article; zbMATH DE number 1156790
From MaRDI portal
Publication:4390777
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
finitizationrepresentable relation algebrasfinitely axiomatizableaxiomatizability of the \(n\)-variable fragment \(L_n\) of first-order logicpermutation invariant operations
Subsystems of classical logic (including intuitionistic logic) (03B20) Cylindric and polyadic algebras; relation algebras (03G15)
Cited In (3)
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)