The contributions of Alfred Tarski to algebraic logic

DOI10.2307/2273903MaRDI QIDQ3029010zbMATH OpenOpenAlexFDO

Authors 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) History of mathematical logic and foundations (03-03) Cylindric and polyadic algebras; relation algebras (03G15) Logical aspects of Boolean algebras (03G05) Boolean algebras (Boolean rings) (06E99)

Recommendations

• The contributions of Alfred Tarski to general algebra
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Alfred Tarski's work in model theory
• Algebraic Logic, Where Does it Stand Today?
• Algebraization of quantifier logics, an introductory overview

Cites work

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

Cited in

(17)

• The contributions of Alfred Tarski to general algebra
• scientific article; zbMATH DE number 1841810 (Why is no real title available?)
• scientific article; zbMATH DE number 7117706 (Why is no real title available?)
• Alonzo Church's Contributions to Philosophy and Intensional Logic
• Algebraic Logic, Where Does it Stand Today?
• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
• On Magari's concept of general calculus: notes on the history of tarski's methodology of deductive sciences
• Algebraization of quantifier logics, an introductory overview
• scientific article; zbMATH DE number 5285457 (Why is no real title available?)
• scientific article; zbMATH DE number 3896930 (Why is no real title available?)
• Notes on the founding of logics and metalogic: Aristotle, Boole, and Tarski
• Alfred Tarski and decidable theories
• A brief history of Tarskian algebraic logic with new perspectives and innovations
• Subsumption computed algebraically
• Alfred Tarski's work in model theory
• Weak second order characterizations of various program verification systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3029010)