Giorgi Japaridze

http://dbpedia.org/resource/Giorgi_Japaridze an entity of type: WikicatLivingPeople

Giorgi Japaridze (also spelled Giorgie Dzhaparidze) is a Georgian-American researcher in logic and theoretical computer science. He currently holds the title of Full Professor at the Computing Sciences Department of Villanova University. Japaridze is best known for his invention of computability logic, cirquent calculus, and Japaridze's polymodal logic. rdf:langString
rdf:langString Giorgi Japaridze
xsd:integer 1866981
xsd:integer 1106137199
rdf:langString medic
rdf:langString May 2021
rdf:langString Giorgi Japaridze (also spelled Giorgie Dzhaparidze) is a Georgian-American researcher in logic and theoretical computer science. He currently holds the title of Full Professor at the Computing Sciences Department of Villanova University. Japaridze is best known for his invention of computability logic, cirquent calculus, and Japaridze's polymodal logic.
xsd:nonNegativeInteger 25849
yago:WikicatLivingPeople
yago:WikicatLogicians
yago:CausalAgent100007347
yago:Expert109617867
yago:LivingThing100004258
yago:Logician110269785
yago:Object100002684
yago:Organism100004475
yago:Person100007846
yago:PhysicalEntity100001930
yago:YagoLegalActor
yago:YagoLegalActorGeo
yago:Whole100003553
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Logicians>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Category:Villanova_University_faculty>
<http://dbpedia.org/resource/Modal_logic>
<http://dbpedia.org/resource/Peano_arithmetic>
<http://dbpedia.org/resource/University_of_Amsterdam>
<http://dbpedia.org/resource/University_of_Notre_Dame>
<http://dbpedia.org/resource/University_of_Pennsylvania>
<http://dbpedia.org/resource/Villanova_University>
<http://dbpedia.org/resource/Interpretability_logic>
<http://dbpedia.org/resource/Intuitionistic_logic>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Logicians>
<http://dbpedia.org/resource/Category:Year_of_birth_missing_(living_people)>
<http://dbpedia.org/resource/Constructivism_(philosophy_of_mathematics)>
<http://dbpedia.org/resource/Kripke_frame>
<http://dbpedia.org/resource/Category:Villanova_University_faculty>
<http://dbpedia.org/resource/Georgia_(country)>
<http://dbpedia.org/resource/Bounded_arithmetic>
<http://dbpedia.org/resource/Moscow_State_University>
<http://dbpedia.org/resource/Arithmetical_hierarchy>
<http://dbpedia.org/resource/Linear_logic>
<http://dbpedia.org/resource/Logic>
<http://dbpedia.org/resource/Computability_logic>
<http://dbpedia.org/resource/Theoretical_computer_science>
<http://dbpedia.org/resource/Time_complexity>
<http://dbpedia.org/resource/Japaridze's_polymodal_logic>
<http://dbpedia.org/resource/First-order_logic>
<http://dbpedia.org/resource/Recursively_enumerable>
<http://dbpedia.org/resource/Hilbert_system>
<http://dbpedia.org/resource/Tbilisi>
<http://dbpedia.org/resource/Tbilisi_State_University>
<http://dbpedia.org/resource/Arend_Heyting>
<http://dbpedia.org/resource/China>
<http://dbpedia.org/resource/Cointerpretability>
<http://dbpedia.org/resource/Soviet_Union>
<http://dbpedia.org/resource/Cirquent_calculus>
<http://dbpedia.org/resource/Independence-friendly_logic>
<http://dbpedia.org/resource/Indiana_University>
<http://dbpedia.org/resource/National_Science_Foundation>
<http://dbpedia.org/resource/Sergei_N._Artemov>
<http://dbpedia.org/resource/Shandong_University>
<http://dbpedia.org/resource/Xiamen_University>
<http://dbpedia.org/resource/Sequent_calculus>
<http://dbpedia.org/resource/Tolerant_sequence>
<http://dbpedia.org/resource/Japaridze's_Polymodal_Logic>
<http://dbpedia.org/resource/Space_complexity>
<http://dbpedia.org/resource/Proof-theoretic_ordinal>
<http://dbpedia.org/resource/Georgian_Academy_of_Sciences>
<http://dbpedia.org/resource/Raymond_Merrill_Smullyan>
<http://dbpedia.org/resource/Decidable_problem>
<http://dbpedia.org/resource/Clarithmetic>
<http://dbpedia.org/resource/Lev_Beklemishev>
<http://dbpedia.org/resource/Cotolerance>
<http://www.csc.villanova.edu/~japaridz/CL/clx.html>
<http://www.mathnet.ru/php/presentation.phtml%3Foption_lang=eng&presentid=4373>
<http://www.csc.villanova.edu/~japaridz/CL/>
<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.aiml.net/volumes/volume7/Shapirovsky.pdf>
<https://lmcs.episciences.org/2042/pdf>
<http://www.inf.u-szeged.hu/actacybernetica/edb/vol18n1/Japaridze_2007_ActaCybernetica.xml>
<http://jigpal.oxfordjournals.org/content/22/6/933>
<http://logcom.oxfordjournals.org/content/22/3/605.abstract%3Fkeytype=ref&ijkey=zWm9Qez30Gt8Lw1>
<http://www.csc.villanova.edu/~japaridz/1988PolymodalProvLog.pdf>
<http://www.csc.villanova.edu/~japaridz/Text/prov.pdf>
<https://lmcs.episciences.org/2020/pdf>
<http://www.philly.com/philly/news/298551161.html>
<http://www.sciencedirect.com/science/article/pii/016800729390200W>
<http://www.sciencedirect.com/science/article/pii/016800729390201N>
<http://www.sciencedirect.com/science/article/pii/0168007294900639>
<http://www.sciencedirect.com/science/article/pii/S0168007201001233>
<http://www.sciencedirect.com/science/article/pii/S016800720300023X>
<http://www.sciencedirect.com/science/article/pii/S0168007207000346>
<http://www.sciencedirect.com/science/article/pii/S0168007211001734>
<http://www.sciencedirect.com/science/article/pii/S0168007213001115>
<http://www.sciencedirect.com/science/article/pii/S0168007297000468>
<http://www.sciencedirect.com/science/article/pii/S0304397506002660>
<http://www.sciencedirect.com/science/article/pii/S0304397507000199>
<http://www.sciencedirect.com/science/article/pii/S0304397510006754>
<http://www.sciencedirect.com/science/article/pii/S0890540108001235>
<http://www.sciencedirect.com/science/article/pii/S0890540111001076>
<http://www.sciencedirect.com/science/article/pii/S0890540116000092>
<http://www.sciencedirect.com/science/article/pii/S0893965911005763>
<https://link.springer.com/article/10.1007%2FBF00370116>
<https://link.springer.com/article/10.1007%2FBF00370393>
<https://link.springer.com/article/10.1007%2FBF00401550>
<https://link.springer.com/article/10.1007%2Fs00153-014-0397-4>
<https://link.springer.com/article/10.1007%2Fs11225-009-9164-7>
<https://link.springer.com/chapter/10.1007%2F3-540-34874-3_9>
<https://link.springer.com/chapter/10.1007%2F978-1-4020-9374-6_11>
<https://web.archive.org/web/20111021134723/http:/logcom.oxfordjournals.org/content/15/4/447.abstract>
<https://web.archive.org/web/20150628201840/http:/projecteuclid.org/DPubS%3Fservice=UI&version=1.0&verb=Display&handle=euclid.jsl%2F1174668394>
<https://web.archive.org/web/20150629001449/http:/projecteuclid.org/DPubS%3Fverb=Display&version=1.0&service=UI&handle=euclid.jsl%2F1268917495&page=record>
<http://dl.acm.org/citation.cfm%3Fid=1131313.1131318&coll=portal&dl=ACM&idx=1131313&part=periodical&WantType=periodical&title=ACM%2520Transactions%2520on%2520Computational%2520Logic%2520%2528TOCL%2529>
<http://dl.acm.org/citation.cfm%3Fid=1131313.1131319&coll=portal&dl=ACM&idx=1131313&part=periodical&WantType=periodical&title=ACM%2520Transactions%2520on%2520Computational%2520Logic%2520%2528TOCL%2529>
<http://projecteuclid.org/DPubS%3Fservice=UI&version=1.0&verb=Display&handle=euclid.jsl/1183743407>
<http://projecteuclid.org/DPubS%3Fservice=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1038234610>
<http://projecteuclid.org/DPubS%3Fservice=UI&version=1.0&verb=Display&handle=euclid.ndjfl/1040511342>
<http://www1.villanova.edu/villanova/media/pressreleases/2015/0330.html>
<http://logcom.oxfordjournals.org/content/18/6/983.abstract%3Fkeytype=ref&ijkey=FWDFEWzz19JWDU0>
<http://www.lmcs-online.org/ojs/viewarticle.php%3Fid=717&layout=abstract>
<http://jigpal.oxfordjournals.org/content/22/6/982>
<https://link.springer.com/article/10.1007/s00153-012-0313-8>
<https://link.springer.com/article/10.1007/s00153-012-0314-7>
<https://web.archive.org/web/20130429235343/http:/logcom.oxfordjournals.org/content/16/4/489.abstract>
<http://rdf.freebase.com/ns/m.0629q5>
<http://yago-knowledge.org/resource/Giorgi_Japaridze>
<http://www.wikidata.org/entity/Q5563424>
<http://ro.dbpedia.org/resource/Giorgi_Japaridze>
<https://global.dbpedia.org/id/4kpoj>
<http://dbpedia.org/resource/Template:Cbignore>
<http://dbpedia.org/resource/Template:Citation_needed>
<http://dbpedia.org/resource/Template:Dead_link>
<http://dbpedia.org/resource/Template:Reflist>
<http://en.wikipedia.org/wiki/Giorgi_Japaridze?oldid=1106137199&ns=0>
<http://en.wikipedia.org/wiki/Giorgi_Japaridze>

data from the linked data cloud