Computability Logic: a formal theory of interaction
Interactive Computation: The New Paradigm. D.Goldin, S.Smolka and P.Wegner, eds. Springer Verlag, Berlin 2006, pp. 183-223 Computability logic is a formal theory of (interactive) computability in the same sense as classical logic is a formal theory of truth. This approach was initiated very recently...
Saved in:
| Main Author | |
|---|---|
| Format | Journal Article |
| Language | English |
| Published |
08.04.2004
|
| Subjects | |
| Online Access | Get full text |
| DOI | 10.48550/arxiv.cs/0404024 |
Cover
| Abstract | Interactive Computation: The New Paradigm. D.Goldin, S.Smolka and
P.Wegner, eds. Springer Verlag, Berlin 2006, pp. 183-223 Computability logic is a formal theory of (interactive) computability in the
same sense as classical logic is a formal theory of truth. This approach was
initiated very recently in "Introduction to computability logic" (Annals of
Pure and Applied Logic 123 (2003), pp.1-99). The present paper reintroduces
computability logic in a more compact and less technical way. It is written in
a semitutorial style with a general computer science, logic or mathematics
audience in mind. An Internet source on the subject is available at
http://www.cis.upenn.edu/~giorgi/cl.html, and additional material at
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html . |
|---|---|
| AbstractList | Interactive Computation: The New Paradigm. D.Goldin, S.Smolka and
P.Wegner, eds. Springer Verlag, Berlin 2006, pp. 183-223 Computability logic is a formal theory of (interactive) computability in the
same sense as classical logic is a formal theory of truth. This approach was
initiated very recently in "Introduction to computability logic" (Annals of
Pure and Applied Logic 123 (2003), pp.1-99). The present paper reintroduces
computability logic in a more compact and less technical way. It is written in
a semitutorial style with a general computer science, logic or mathematics
audience in mind. An Internet source on the subject is available at
http://www.cis.upenn.edu/~giorgi/cl.html, and additional material at
http://www.csc.villanova.edu/~japaridz/CL/gsoll.html . |
| Author | Japaridze, Giorgi |
| Author_xml | – sequence: 1 givenname: Giorgi surname: Japaridze fullname: Japaridze, Giorgi |
| BackLink | https://doi.org/10.48550/arXiv.cs/0404024$$DView paper in arXiv https://doi.org/10.1007/3-540-34874-3_9$$DView published paper (Access to full text may be restricted) |
| BookMark | eNrjYmDJy89LZWCQNDTQM7EwNTXQTyyqyCzTSy7WNzABQiMTTgZj5_zcgtKSxKTMnMySSgWf_PTMZCuFRIW0_KLcxByFkozU_KJKhfw0hcy8ktSixOSSzPw8HgbWtMSc4lReKM3NIO_mGuLsoQs2Pr6gKDM3sagyPrk4HmqNMWEVAHXiNPI |
| ContentType | Journal Article |
| DBID | AKY AKZ GOX |
| DOI | 10.48550/arxiv.cs/0404024 |
| DatabaseName | arXiv Computer Science arXiv Mathematics arXiv.org |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: GOX name: arXiv.org url: http://arxiv.org/find sourceTypes: Open Access Repository |
| DeliveryMethod | fulltext_linktorsrc |
| ExternalDocumentID | cs_0404024 |
| GroupedDBID | AKY AKZ GOX |
| ID | FETCH-arxiv_primary_cs_04040243 |
| IEDL.DBID | GOX |
| IngestDate | Tue Jul 22 23:03:19 EDT 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-arxiv_primary_cs_04040243 |
| OpenAccessLink | https://arxiv.org/abs/cs/0404024 |
| ParticipantIDs | arxiv_primary_cs_0404024 |
| PublicationCentury | 2000 |
| PublicationDate | 2004-04-08 |
| PublicationDateYYYYMMDD | 2004-04-08 |
| PublicationDate_xml | – month: 04 year: 2004 text: 2004-04-08 day: 08 |
| PublicationDecade | 2000 |
| PublicationYear | 2004 |
| Score | 2.6614256 |
| SecondaryResourceType | preprint |
| Snippet | Interactive Computation: The New Paradigm. D.Goldin, S.Smolka and
P.Wegner, eds. Springer Verlag, Berlin 2006, pp. 183-223 Computability logic is a formal... |
| SourceID | arxiv |
| SourceType | Open Access Repository |
| SubjectTerms | Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science Mathematics - Logic |
| Title | Computability Logic: a formal theory of interaction |
| URI | https://arxiv.org/abs/cs/0404024 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwY2BQSU4xSEwzME7TTTFPtNQ1MTUFloPJSYm6qSapxsaJyeaJJuCY9vUz8wg18YowjWBiUIDthUksqsgsg5wPnFSsn1ysD0xkwC6OCTMDM7ChANrM6x8BmZwEH8UFVY9QB2xjgoWQKgk3QQZ-aOtOwRESHUIMTKl5IgzGkJsTIAdiVyqAbjdOtlJIVAA3F3MUwFsJKxXy0xRARzcUQTYaiDLIu7mGOHvogq2JL4CcCRGfXBwPdYGxGAMLsOeeKsGgAGx6mQPbQyZpBmmJJqnAMDA3TwQWPiappqBj3JIMJBkkcJkihVtKmoELvnzEQoaBpaSoNFUWWDOWJMmBgwcAMwBpkg |
| linkProvider | Cornell University |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Computability+Logic%3A+a+formal+theory+of+interaction&rft.au=Japaridze%2C+Giorgi&rft.date=2004-04-08&rft_id=info:doi/10.48550%2Farxiv.cs%2F0404024&rft.externalDocID=cs_0404024 |