The contributions of Alfred Tarski to algebraic logic

DOI10.2307/2273903zbMath0626.03052OpenAlexW2066786426MaRDI QIDQ3029010

J. Donald Monk

Publication date: 1986

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273903

zbMATH Keywords

surveyBoolean algebrasrelation algebrascylindric algebrasBrouwerian algebrasclosure algebrasTarski's work in algebraic logic

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Boolean algebras (Boolean rings) (06E99) History of mathematical logic and foundations (03-03) Logical aspects of Boolean algebras (03G05) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (2)

Weak second order characterizations of various program verification systems ⋮ Subsumption computed algebraically

Cites Work

• The relational model of data and cylindric algebras
• The representation of relation algebras. II
• Relation algebras and projective geometries
• A simple, purely algebraic proof of the completeness of some first order logics
• On universal algebraic constructions of logics
• On representable relation algebras
• Representations of integral relation algebras
• The representation of relational algebras
• Nonfinitizability of classes of representable cylindric algebras
• Projective Algebra I

This page was built for publication: The contributions of Alfred Tarski to algebraic logic