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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call