Tarski's System of Geometry
From MaRDI portal
Publication:4262603
DOI10.2307/421089zbMath0932.01031OpenAlexW1986790869WikidataQ56005493 ScholiaQ56005493MaRDI QIDQ4262603
Publication date: 13 March 2000
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0502-toc.htm
Related Items
A Logic of East and West, Finding proofs in Tarskian geometry, A system of axioms for Minkowski spacetime, Implementing Euclid's straightedge and compass constructions in type theory, Proof-checking Euclid, Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries, A Logic for Spatial Reasoning in the Framework of Rough Mereology, Formalization of the arithmetization of Euclidean plane geometry and applications, DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH, Model-theory of vector-spaces over unspecified fields, On the non-Paschian ordered planes, Logic for physical space. From antiquity to present day, Euclid after Computer Proof-Checking, CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE, Human rationality challenges universal logic, Brouwer and Euclid, A brief history of Tarskian algebraic logic with new perspectives and innovations, First-order logic axiomatization of metric graph theory, Tarski’s Influence on Computer Science, Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq, A constructive version of Tarski's geometry, Tarski geometry axioms. II, Tarski geometry axioms, FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY, Axiomatizing geometric constructions, Formalization of the Poincaré disc model of hyperbolic geometry, HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY, Mechanical Theorem Proving in Tarski’s Geometry, The ubiquitous axiom, CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS, Constructibility and Geometry, Algebraic Logic, Where Does it Stand Today?, Harmonious logic: Craig's interpolation theorem and its descendants, Building Mathematics-Based Software Systems to Advance Science and Create Knowledge, Abstraction and Intuition in Peano's Axiomatizations of Geometry, Hyperbolic geometry for non-differential topologists, A Vernacular for Coherent Logic, A FORMAL SYSTEM FOR EUCLID’SELEMENTS, Dialectical Contradictions and Classical Formal Logic, Quantifier elimination for elementary geometry and elementary affine geometry, Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
Cites Work
