The contributions of Alfred Tarski to algebraic logic

DOI10.2307/2273903zbMATH Open0626.03052OpenAlexW2066786426MaRDI QIDQ3029010FDOQ3029010

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

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

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)

Cites Work

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

Cited In (17)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Alonzo Church's Contributions to Philosophy and Intensional Logic
• Algebraic Logic, Where Does it Stand Today?
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• The contributions of Alfred Tarski to general algebra

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)