𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The tasks of the collective

✍ Scribed by D. A. Kryuchenkov; D. S. Grebenyuk


Publisher
Springer US
Year
1976
Tongue
English
Weight
309 KB
Volume
33
Category
Article
ISSN
0361-7610

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


The logic of tasks
✍ Giorgi Japaridze πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 230 KB

The paper introduces a semantics for the language of classical ΓΏrst order logic supplemented with the additional operators and l. This semantics understands formulas as tasks. An agent (say, a machine or a robot), working as a slave for its master (say, the user or the environment), can carry out th