Early Examples of Resource-Consciousness |
| |
| Authors: | Pambuccian Victor |
| |
| Institution: | (1) Department of Integrative Studies, Arizona State University West, P. O. Box 37100 Phoenix, AZ 85069-7100, U.S.A. |
| |
| Abstract: | As with the development of several logical notions, it is shown that the concept of resource-consciousness, i. e. the concern over the number of times that a given sentence is used in the proof of another sentence, has its origin in the foundations of geometry, pre-dating its appearence in logical circles as BCK-logic or affine logic. |
| |
| Keywords: | BCK logic affine logic projective geometry Pappus and Desargues axioms Pythagorean theorem |
| 本文献已被 SpringerLink 等数据库收录！ |
|
