Early examples of resource-consciousness

DOI10.1023/B:STUD.0000034186.00298.D1MaRDI QIDQ1876091zbMATH OpenOpenAlexFDO

Authors Victor V. Pambuccian

Publication date 16 August 2004

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:stud.0000034186.00298.d1

zbMATH Keywords

projective geometryPythagorean theoremaffine logicBCK logicPappus and Desargues axioms

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) History of mathematical logic and foundations (03-03) Foundations of classical theories (including reverse mathematics) (03B30) History of geometry (51-03)

Recommendations

• scientific article; zbMATH DE number 2051381
• Prolegomena to any theory of proof simplicity
• Herbrand's theorem and non-Euclidean geometry
• The axiomatic destiny of the theorems of Pappus and Desargues
• scientific article; zbMATH DE number 31602

Cited in

(6)

• The axiomatics of ordered geometry: I. Ordered incidence spaces
• Prolegomena to any theory of proof simplicity
• The evolution of resource use
• The axiomatic destiny of the theorems of Pappus and Desargues
• A dialogical route to logical pluralism
• Constructibility and Geometry

This page was built for publication: Early examples of resource-consciousness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1876091)