Early examples of resource-consciousness

DOI10.1023/B:STUD.0000034186.00298.D1zbMath1057.03010OpenAlexW2060911284MaRDI QIDQ1876091

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

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

Related Items (5)

A dialogical route to logical pluralism ⋮ The Axiomatic Destiny of the Theorems of Pappus and Desargues ⋮ The axiomatics of ordered geometry: I. Ordered incidence spaces ⋮ Prolegomena to any theory of proof simplicity ⋮ Constructibility and Geometry

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