scientific article; zbMATH DE number 3419133

MaRDI QIDQ5681997zbMATH OpenFDO

Authors Leon Henkin

Publication date 1973

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Cited in

(7)

• On varieties of cylindric algebras with applications to logic
• Tarskian Classical Relevant Logic
• Finite, integral, and finite-dimensional relation algebras: A brief history
• A sequent calculus for relation algebras
• Leon Henkin and Cylindric Algebras
• A simple, purely algebraic proof of the completeness of some first order logics
• Changing a Semantics: Opportunism or Courage?

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