The Idea of a Diagram

In Hassan Ait-Kaci & Maurice Nivat (eds.), Resolution of Equations in Algebraic Structures. Academic Press (1989)
  Copy   BIBTEX

Abstract

A detailed axiomatisation of diagrams (in affine geometry) is presented, which supports typing of geometric objects, calculation of geometric quantities and automated proof of theorems.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
The Euclidean Diagram.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 80--133.
Diagram-Based Geometric Practice.Kenneth Manders - 2008 - In Paolo Mancosu (ed.), The Philosophy of Mathematical Practice. Oxford University Press. pp. 65--79.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction.A. de Oliveira & R. B. de Queiroz - 1999 - Logic Journal of the IGPL 7 (2):173-215.
Tis better to Construct than to Receive? The Effects of Diagram Tools on Causal Reasoning.Matthew Easterday, Vincent Aleven & Richard Scheines - unknown
The role of diagrams in mathematical arguments.David Sherry - 2008 - Foundations of Science 14 (1-2):59-74.
Main problems of diagrammatic reasoning. Part I: The generalization problem. [REVIEW]Zenon Kulpa - 2009 - Foundations of Science 14 (1-2):75-96.
Davidson and Reiter: I. Equational Reasoning.G. Graham White - unknown
What is a Logical Diagram?Catherine Legg - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. pp. 1-18.
„Între” arhivã si diagramã sau cunoasterea ca practicã a puterii/ „Between" Archive and Diagram or the Knowledge as Practice of Power.Vianu Muresan - 2005 - Journal for the Study of Religions and Ideologies 4 (10):150-165.
Knowledge and practical reasoning.Igor Douven - 2008 - Dialectica 62 (1):101–118.
A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
Inherently nonfinitely based lattices.Ralph Freese, George F. McNulty & J. B. Nation - 2002 - Annals of Pure and Applied Logic 115 (1-3):175-193.

Analytics

Added to PP
2016-10-29

Downloads
209 (#92,797)

6 months
52 (#79,641)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Desmond Sander
University of Tasmania

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references