Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Computability_logic> ?p ?o. }
Showing items 1 to 36 of
36
with 100 items per page.
- Computability_logic abstract "Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable". Computational problems and resources are understood in their most general - interactive sense. They are formalized as games played by a machine against its environment, and computability means existence of a machine that wins the game against any possible behavior by the environment. Defining what such game-playing machines mean, computability logic provides a generalization of the Church-Turing thesis to the interactive level. The classical concept of truth turns out to be[citation needed] a special, zero-interactivity-degree case of computability. This makes classical logic a special fragment of computability logic. Being a conservative extension of the former, computability logic is, at the same time, by an order of magnitude more expressive, constructive and computationally meaningful. Providing a systematic answer to the fundamental question "what (and how) can be computed?", it has a wide range of potential application areas. Those include constructive applied theories, knowledge base systems, systems for planning and action.Besides classical logic, linear logic (understood in a relaxed sense) and intuitionistic logic also turn out to be natural fragments of computability logic. Hence meaningful concepts of "intuitionistic truth" and "linear-logic truth" can be derived from the semantics of computability logic. Being semantically constructed, as yet computability logic does not have a fully developed proof theory. Finding deductive systems for various fragments of it and exploring their syntactic properties is an area of ongoing research.".
- Computability_logic wikiPageExternalLink j.ic.2008.10.001.
- Computability_logic wikiPageExternalLink 489.
- Computability_logic wikiPageExternalLink exn019.
- Computability_logic wikiPageExternalLink japaridze.ps.
- Computability_logic wikiPageExternalLink citation.cfm?id=1131313.1131318&coll=portal&dl=ACM&idx=1131313&part=periodical&WantType=periodical&title=ACM%20Transactions%20on%20Computational%20Logic%20%28TOCL%29&CFID=71203179&CFTOKEN=21225900.
- Computability_logic wikiPageExternalLink citation.cfm?id=1131313.1131319&coll=portal&dl=ACM&idx=1131313&part=periodical&WantType=periodical&title=ACM%20Transactions%20on%20Computational%20Logic%20%28TOCL%29&CFID=71203179&CFTOKEN=21225900.
- Computability_logic wikiPageExternalLink citation.cfm?id=1808347.1808575.
- Computability_logic wikiPageExternalLink 1174668394.
- Computability_logic wikiPageExternalLink 1268917495&page=record.
- Computability_logic wikiPageExternalLink cl.html.
- Computability_logic wikiPageExternalLink ~japaridz.
- Computability_logic wikiPageExternalLink clx.html.
- Computability_logic wikiPageExternalLink gsoll.html.
- Computability_logic wikiPageExternalLink Japaridze_2007_ActaCybernetica.xml.
- Computability_logic wikiPageExternalLink S016800720300023X.
- Computability_logic wikiPageExternalLink science?_ob=ArticleURL&_udi=B6TYB-4NSWYVP-1&_user=10&_rdoc=1&_fmt=&_orig=search&_sort=d&view=c&_version=1&_urlVersion=0&_userid=10&md5=3a7cf451f14038839aba1d27bd89393f.
- Computability_logic wikiPageExternalLink science?_ob=ArticleURL&_udi=B6V1G-4JS1M3B-1&_user=10&_handle=V-WA-A-W-AD-MsSAYWA-UUA-U-AACVWWCADC-AACAYUCEDC-EDADUYDDA-AD-U&_fmt=summary&_coverDate=07%2F25%2F2006&_rdoc=8&_orig=browse&_srch=%23toc%235674%232006%23996429998%23626672!&_cdi=5674&view=c&_acct=C000050221&_version=1&_urlVersion=0&_userid=10&md5=8f62c93dd24dd2c3f48cf7c77e05228d.
- Computability_logic wikiPageExternalLink science?_ob=ArticleURL&_udi=B6V1G-4MV758R-2&_user=1536200&_coverDate=01%2F17%2F2007&_alid=540937878&_rdoc=1&_fmt=summary&_orig=search&_cdi=5674&_sort=d&_docanchor=&view=c&_ct=2&_acct=C000053374&_version=1&_urlVersion=0&_userid=1536200&md5=ce039afe954def15cbd8e9438488f011.
- Computability_logic wikiPageExternalLink 04t6780731373n13.
- Computability_logic wikiPageExternalLink l10m555830730182.
- Computability_logic wikiPageExternalLink ?p=a62bebfc0dec4164a3a3ba90fefb86aa&pi=10.
- Computability_logic wikiPageID "616985".
- Computability_logic wikiPageRevisionID "552362232".
- Computability_logic hasPhotoCollection Computability_logic.
- Computability_logic subject Category:Computability_theory.
- Computability_logic subject Category:Logic_in_computer_science.
- Computability_logic subject Category:Non-classical_logic.
- Computability_logic comment "Introduced by Giorgi Japaridze in 2003, computability logic is a research programme and mathematical framework for redeveloping logic as a systematic formal theory of computability, as opposed to classical logic which is a formal theory of proof. In this approach logical formulas represent computational problems (or, equivalently, computational resources), and their validity means being "always computable".".
- Computability_logic label "Computability logic".
- Computability_logic label "可计算性逻辑".
- Computability_logic sameAs m.02x0_x.
- Computability_logic sameAs Q5157263.
- Computability_logic sameAs Q5157263.
- Computability_logic wasDerivedFrom Computability_logic?oldid=552362232.
- Computability_logic isPrimaryTopicOf Computability_logic.