scientific article; zbMATH DE number 3151263
From MaRDI portal
Publication:3268764
zbMATH Open0092.38504MaRDI QIDQ3268764FDOQ3268764
Authors: Alfred Tarski 
Publication date: 1959
Title of this publication is not available (Why is that?)
Cited In (40)
- Poincaré on the value of reasoning machines
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
- The logical study of science
- The simplicity degree of Tarski's Euclidean geometry of ruler and dividers is 5
- A system of axioms for Minkowski spacetime
- 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.
- Euklidische Geometrie ohne das Axiom von Pasch
- Title not available (Why is that?)
- Complete geometric query languages
- On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
- The logic and topology of Kant's temporal continuum
- Two cryptomorphic formalizations of projective incidence geometry
- A Logic of East and West
- Are Points (Necessarily) Unextended?
- Mechanical Theorem Proving in Tarski’s Geometry
- Axiomatizing geometric constructions
- Carving up space: steps towards construction of an absolutely complete theory of spatial regions
- Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
- Empiricism, probability, and knowledge of arithmetic: a preliminary defense
- The ubiquitous axiom
- Complexity and related enhancements for automated theorem-proving programs
- Some open problems in the philosophy of space and time
- The simplest axiom system for hyperbolic geometry revisited, again
- Lukasiewicz logic and the foundations of measurement
- Zur Linearität verallgemeinerter Modulisometrien. (The linearity of unitary module isometry's)
- Betweenness, orders and interval graphs
- Newton's experimental proofs
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
- Rational region-based affine logic of the real plane
- Prolegomena to a cognitive investigation of Euclidean diagrammatic reasoning
- Constructibility and Geometry
- The parallel postulate
- Three-dimensional affine spatial logics
- The fragment of elementary plane Euclidean geometry based on perpendicularity alone with complexity PSPACE-complete
- Title not available (Why is that?)
- Mereology in engineering and computer science
- Reducible Theories and Amalgamations of Models
- From geometry to conceptual relativity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3268764)
