Alfred Tarski's work on general metamathematics

DOI10.2307/2274426zbMath0651.03002OpenAlexW4244276888MaRDI QIDQ3795645

Don Pigozzi, Willem J. Blok

Publication date: 1988

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

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

zbMATH Keywords

independenceconsistencycompletenessTarskimatricesaxiomatizabilitymany-valued logicsformalized deductive systemsgeneral deductive systemsgeneral metamathematicsmethodology of the deductive sciences

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03F99)

Related Items (6)

A Mathematical Life ⋮ Possible classification of finite-dimensional compact Hausdorff topological algebras ⋮ Abstract algebraic logic. An introductory chapter ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Algebraic logic for classical conjunction and disjunction ⋮ Algebraization of quantifier logics, an introductory overview

This page was built for publication: Alfred Tarski's work on general metamathematics