Tarski's System of Geometry
From MaRDI portal
Recommendations
Cites work
Cited in
(57)- Harmonious logic: Craig's interpolation theorem and its descendants
- Formalization of the arithmetization of Euclidean plane geometry and applications
- Brouwer and Euclid
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq
- Human rationality challenges universal logic
- Formalization of the Poincaré disc model of hyperbolic geometry
- The ubiquitous axiom
- Hyperbolic geometry for non-differential topologists
- A brief history of Tarskian algebraic logic with new perspectives and innovations
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
- Finding proofs in Tarskian geometry
- Model-theory of vector-spaces over unspecified fields
- On the non-Paschian ordered planes
- Axiomatizing geometric constructions
- Remarks, du côté de chez Tarski, on symmetric ternary relations
- 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
- Herbrand's theorem and non-Euclidean geometry
- Quantifier elimination for elementary geometry and elementary affine geometry
- Abstraction and Intuition in Peano's Axiomatizations of Geometry
- A Note on Tarski's Note
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge
- Tarski and geometry
- scientific article; zbMATH DE number 4030358 (Why is no real title available?)
- Logic for physical space. From antiquity to present day
- Tarski's influence on computer science
- A constructive version of Tarski's geometry
- Formalization, primitive concepts, and purity
- Current research on Gödel's incompleteness theorems
- Tarski geometry axioms. II
- Tarski geometry axioms
- A Logic for Spatial Reasoning in the Framework of Rough Mereology
- DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH
- Euclid after Computer Proof-Checking
- Constructibility and Geometry
- Dialectical contradictions and classical formal logic
- Constructive geometry and the parallel postulate
- Tarski's system of geometry and betweenness geometry with the group of movements
- Mechanical Theorem Proving in Tarski’s Geometry
- Algebraic Logic, Where Does it Stand Today?
- A vernacular for coherent logic
- Full Development of Tarski's Geometry of Solids
- A FORMAL SYSTEM FOR EUCLID’SELEMENTS
- A Logic of East and West
- First-order logic axiomatization of metric graph theory
- Ordered absolute geometry
- The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
- Formalization of gyrovector spaces as models of hyperbolic geometry and special relativity
- Towards an independent version of Tarski's system of geometry
- Conditions on centroids implying Euclideanity
- Burgess and the bucket: the emergence of spacetime in classical theories of gravitation
- Variations on a theme of Makowsky
- Betweenness algebras
- Absolute geometry with the fourth postulate
- Definable coordinate geometries over fields
- A system of axioms for Minkowski spacetime
This page was built for publication: Tarski's System of Geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4262603)
