On resources and tasks

Abstract

Essentially being an extended abstract of the author’s 1998 PhD thesis, this paper introduces an extension of the language of linear logic with a semantics which treats sentences as tasks rather than true/false statements. A resource is understood as an agent capable of accomplishing the task expressed by such a sentence. It is argued that the corresponding… (More)

Topics

Cite this paper

@article{Japaridze2013OnRA, title={On resources and tasks}, author={Giorgi Japaridze}, journal={CoRR}, year={2013}, volume={abs/1312.3372} }