scientific article; zbMATH DE number 1156790

zbMath0897.03057MaRDI QIDQ4390777

Judit X. Madarász, Istvan Németi, Gábor Sági

Publication date: 19 October 1998

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Related Items

Complexity of equations valid in algebras of relations. I: Strong non-finitizability