scientific article

Publication date: 1959

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

foundations of geometry, noneuclidean geometry

Related Items (36)

A Logic of East and West ⋮ Rational Region-Based Affine Logic of the Real Plane ⋮ Are Points (Necessarily) Unextended? ⋮ A system of axioms for Minkowski spacetime ⋮ Two cryptomorphic formalizations of projective incidence geometry ⋮ An alternative construction of Conway's ordered field No ⋮ A bibliography of quantifier elimination for real closed fields ⋮ Errata to ``An alternative construction of Conway's ordered field No. ⋮ On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving ⋮ Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space ⋮ Three-dimensional affine spatial logics ⋮ From geometry to conceptual relativity ⋮ Lukasiewicz logic and the foundations of measurement ⋮ The logical study of science ⋮ The simplest axiom system for hyperbolic geometry revisited, again ⋮ Mereology in Engineering and Computer Science ⋮ Unnamed Item ⋮ THE LOGIC AND TOPOLOGY OF KANT’S TEMPORAL CONTINUUM ⋮ Newton's experimental proofs ⋮ Empiricism, probability, and knowledge of arithmetic: a preliminary defense ⋮ Axiomatizing geometric constructions ⋮ Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning ⋮ Complexity and related enhancements for automated theorem-proving programs ⋮ Unnamed Item ⋮ Mechanical Theorem Proving in Tarski’s Geometry ⋮ The ubiquitous axiom ⋮ Constructibility and Geometry ⋮ Some open problems in the philosophy of space and time ⋮ Betweenness, orders and interval graphs ⋮ Zur Linearität verallgemeinerter Modulisometrien. (The linearity of unitary module isometry's) ⋮ Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions ⋮ Euklidische Geometrie ohne das Axiom von Pasch ⋮ Complete geometric query languages ⋮ Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL ⋮ Reducible Theories and Amalgamations of Models ⋮ Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry

This page was built for publication: