scientific article; zbMATH DE number 35403

MaRDI QIDQ3989924zbMATH OpenFDO

Authors Paulo A. S. Veloso, Armando Martín Haeberer

Publication date 28 June 1992

zbMATH Keywords

extension of Tarski's calculus of binary relations

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Finitary Algebraic Logic
• scientific article; zbMATH DE number 638619
• scientific article; zbMATH DE number 67033
• scientific article; zbMATH DE number 868093
• Formalizing first-order logic in the equational theory of 3-dimensional diagonal-free cylindric algebras

Cited in

(11)

• A short proof of representability of fork algebras
• Interpreting first-order theories into a logic of records
• A technical prototype of the finite signature reduction procedure for the algebraic mode of definability
• Finitary Algebraic Logic
• scientific article; zbMATH DE number 724624 (Why is no real title available?)
• scientific article; zbMATH DE number 1953903 (Why is no real title available?)
• scientific article; zbMATH DE number 868092 (Why is no real title available?)
• Tarskian Classical Relevant Logic
• Complexity of equational theory of relational algebras with standard projection elements
• Algebraic graph derivations for graphical calculi
• The universal theory of first order algebras and various reducts

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