The Propositional Logic of Elementary Tasks

Notre Dame Journal of Formal Logic 41 (2):171-183 (2000)
Abstract
The paper introduces a semantics for the language of propositional additive-multiplicative linear logic. It understands formulas as tasks that are to be accomplished by an agent (machine, robot) working as a slave for its master (user, environment). This semantics can claim to be a formalization of the resource philosophy associated with linear logic when resources are understood as agents accomplishing tasks. I axiomatically define a decidable logic TSKp and prove its soundness and completeness with respect to the task semantics in the following intuitive sense: iff can be accomplished by an agent who has nothing but its intelligence (that is, no physical resources or external sources of information) for accomplishing tasks.
Keywords tasks   game semantics   linear logic   substructural logics
Categories (categorize this paper)
DOI 10.1305/ndjfl/1038234610
Options
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,749
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA

No references found.

Add more references

Citations of this work BETA
Introduction to Computability Logic.Giorgi Japaridze - 2003 - Annals of Pure and Applied Logic 123 (1-3):1-99.

Add more citations

Similar books and articles
Life-World Constitution of Propositional Logic and Elementary Predicate Logic.L. Eley - 1972 - Philosophy and Phenomenological Research 32 (3):322-340.
Propositional Logic Card Games.Anthony Shiver - 2013 - Teaching Philosophy 36 (1):51-58.
Elementary Definability and Completeness in General and Positive Modal Logic.Ernst Zimmermann - 2003 - Journal of Logic, Language and Information 12 (1):99-117.
Three Prepositional Calculi of Probability.Herman Dishkant - 1980 - Studia Logica 39 (1):49 - 61.
Univers Positifs.Bruno Poizat - 2006 - Journal of Symbolic Logic 71 (3):969 - 976.
Propositional Logic.Kevin C. Klement - 2004 - Internet Encyclopedia of Philosophy.
Sequential Dynamic Logic.Alexander Bochman & Dov M. Gabbay - 2012 - Journal of Logic, Language and Information 21 (3):279-298.
A Survey of Propositional Realizability Logic.Valery Plisko - 2009 - Bulletin of Symbolic Logic 15 (1):1-42.
Added to PP index
2010-08-24

Total downloads
14 ( #344,710 of 2,198,095 )

Recent downloads (6 months)
1 ( #299,438 of 2,198,095 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature