The following pages link to Tarski's System of Geometry (Q4262603):
Displayed 41 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- Tarski geometry axioms. II (Q502683) (← links)
- Tarski geometry axioms (Q502700) (← links)
- A system of axioms for Minkowski spacetime (Q830382) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Human rationality challenges universal logic (Q1931349) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- Hyperbolic geometry for non-differential topologists (Q2076556) (← links)
- A brief history of Tarskian algebraic logic with new perspectives and innovations (Q2193424) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- Model-theory of vector-spaces over unspecified fields (Q2391093) (← links)
- On the non-Paschian ordered planes (Q2397253) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY (Q2795294) (← links)
- Quantifier elimination for elementary geometry and elementary affine geometry (Q3144868) (← links)
- Abstraction and Intuition in Peano's Axiomatizations of Geometry (Q3401351) (← links)
- Building Mathematics-Based Software Systems to Advance Science and Create Knowledge (Q3644710) (← links)
- Tarski’s Influence on Computer Science (Q4611682) (← links)
- FORMALIZATION, PRIMITIVE CONCEPTS, AND PURITY (Q4918380) (← links)
- CURRENT RESEARCH ON GÖDEL’S INCOMPLETENESS THEOREMS (Q4959663) (← links)
- A Logic for Spatial Reasoning in the Framework of Rough Mereology (Q5056084) (← links)
- DE ZOLT’S POSTULATE: AN ABSTRACT APPROACH (Q5065141) (← links)
- Euclid after Computer Proof-Checking (Q5094535) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- Dialectical Contradictions and Classical Formal Logic (Q5250259) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)
- Algebraic Logic, Where Does it Stand Today? (Q5472642) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)
- A FORMAL SYSTEM FOR EUCLID’S<i>ELEMENTS</i> (Q5850985) (← links)
- A Logic of East and West (Q5881809) (← links)
- First-order logic axiomatization of metric graph theory (Q6196830) (← links)