About: Computability logic

An Entity of Type: research project, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Formal system for computability

Property	Value
dbo:description	formal system for computability (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Operators_of_computability_logic.png?width=300
dbo:wikiPageExternalLink	https://arxiv.org/abs/1612.04513 http://www.csc.villanova.edu/~japaridz/CL/clx.html https://web.archive.org/web/20160303174250/http:/www.csc.villanova.edu/~japaridz/CL/gsoll.html https://web.archive.org/web/20190419120954/http:/www.csc.villanova.edu/~japaridz/ http://www.mathnet.ru/php/presentation.phtml%3Foption_lang=eng&presentid=4373 http://www.csc.villanova.edu/~japaridz/CL/
dbo:wikiPageWikiLink	dbr:Conservative_extension dbr:Independence-friendly_logic dbc:Non-classical_logic dbr:Classical_logic dbr:Natural_deduction dbr:Sequent_calculus dbc:Computability_theory dbr:Peano_axioms dbr:Decidability_(logic) dbr:Many-one_reduction dbc:Logic_in_computer_science dbr:Cirquent_calculus dbr:Logic dbr:Interactive_computation dbr:Computability dbr:Linear_logic dbr:Algorithm dbr:Intuitionistic_logic dbr:Turing_reduction dbr:Giorgi_Japaridze dbr:Computational_problem dbr:Computation_in_the_limit dbr:Game_semantics dbr:Logics_for_computability dbr:Bounded_arithmetic dbr:Recursively_enumerable_set dbr:File:Operators_of_computability_logic.png dbr:Church-Turing_thesis
dbp:date	May 2020 (en)
dbp:text	All references in this article are exclusively by a single author, G. Japaridze. (en)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Logic dbt:One_source dbt:Distinguish dbt:Short_description
dct:subject	dbc:Non-classical_logic dbc:Computability_theory dbc:Logic_in_computer_science
gold:hypernym	dbr:Program
rdf:type	dbo:Project dbo:ResearchProject dbo:UnitOfWork
rdfs:label	Computability logic (en) Logica della computabilità (it) Lógica da computabilidade (pt) 可计算性逻辑 (zh)
owl:differentFrom	dbr:Computational_logic
owl:sameAs	freebase:Computability logic wikidata:Computability logic dbpedia-it:Computability logic dbpedia-zh:Computability logic dbpedia-pt:Computability logic dbpedia-global:Computability logic
prov:wasDerivedFrom	wikipedia-en:Computability_logic?oldid=1268489758&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Operators_of_computability_logic.png
foaf:isPrimaryTopicOf	wikipedia-en:Computability_logic
is dbo:wikiPageWikiLink of	dbr:Non-classical_logic dbr:Cirquent_calculus dbr:Church–Turing_thesis dbr:Index_of_philosophy_articles_(A–C) dbr:Interactive_computation dbr:Computability dbr:Computability_theory dbr:Linear_logic dbr:Index_of_logic_articles dbr:Intuitionistic_logic dbr:Giorgi_Japaridze dbr:List_of_mathematical_logic_topics dbr:Outline_of_logic dbr:Intuitionism dbr:Game_semantics dbr:Logics_for_computability
is owl:differentFrom of	dbr:Computational_logic
is foaf:primaryTopic of	wikipedia-en:Computability_logic