- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Geometric reasoning with logic and algebra
Artificial Intelligence 37 (1-3):37-60 (1988)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A Survey of Geometric Algebra and Geometric Calculus.Alan Macdonald - 2017 - Advances in Applied Clifford Algebras 27:853-891.
Linear transformations in unitary geometric algebra.Garret Sobczyk - 1993 - Foundations of Physics 23 (10):1375-1385.
An Einstein addition law for nonparallel boosts using the geometric algebra of space-time.B. Tom King - 1995 - Foundations of Physics 25 (12):1741-1755.
Approximation Logic and Strong Bunge Algebra.Michiro Kondo - 1995 - Notre Dame Journal of Formal Logic 36 (4):595-605.
Imaginary numbers are not real—The geometric algebra of spacetime.Stephen Gull, Anthony Lasenby & Chris Doran - 1993 - Foundations of Physics 23 (9):1175-1201.
A Need for New Algebraic System of Logic Based on Al-Ghazali's Reasoning.Shahrir bin Mohamad Zain - 2016 - Kritike 10 (1):255-268.
Elementary topics in mathematical logic.Alonzo Church - 1942 - Brooklyn, N.Y. [Brooklyn,: Brooklyn, N.Y. [Brooklyn.
Well‐Defined Fuzzy Sentential Logic.Esko Turunen - 1995 - Mathematical Logic Quarterly 41 (2):236-248.
The logic of comparative cardinality.Yifeng Ding, Matthew Harrison-Trainor & Wesley H. Holliday - 2020 - Journal of Symbolic Logic 85 (3):972-1005.
19th century logic between philosophy and mathematics.Volker Peckhaus - 1999 - Bulletin of Symbolic Logic 5 (4):433-450.
The Universal Group of a Heyting Effect Algebra.David J. Foulis - 2006 - Studia Logica 84 (3):407-424.
Analytics
Added to PP
2020-12-22
Downloads
12 (#1,079,938)
6 months
2 (#1,185,463)
2020-12-22
Downloads
12 (#1,079,938)
6 months
2 (#1,185,463)
Historical graph of downloads
Citations of this work
Topological Elementary Equivalence of Closed Semi-Algebraic Sets in the Real Plane.Bart Kuijpers, Jan Paredaens & Jan Van Den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530 - 1555.
Geometric theorem proving by integrated logical and algebraic reasoning.Takashi Matsuyama & Tomoaki Nitta - 1995 - Artificial Intelligence 75 (1):93-113.
Topological elementary equivalence of closed semi-algebraic sets in the real plane.Bart Kuijpers, Jan Paredaens & Jan Van den Bussche - 2000 - Journal of Symbolic Logic 65 (4):1530-1555.
References found in this work
Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the ritt-wu principle.Hai-Ping Ko - 1988 - Artificial Intelligence 37 (1-3):95-122.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-64dd777598-zf4z4 uwo