{"id":"https://openalex.org/W4253236060","doi":"https://doi.org/10.1145/1131313.1131319","title":"Propositional computability logic II","display_name":"Propositional computability logic II","publication_year":2006,"publication_date":"2006-04-01","ids":{"openalex":"https://openalex.org/W4253236060","doi":"https://doi.org/10.1145/1131313.1131319"},"language":"en","primary_location":{"id":"doi:10.1145/1131313.1131319","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1131313.1131319","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/cs/0406037","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5021239614","display_name":"Giorgi Japaridze","orcid":"https://orcid.org/0000-0002-7514-4282"},"institutions":[{"id":"https://openalex.org/I7863295","display_name":"Villanova University","ror":"https://ror.org/02g7kd627","country_code":"US","type":"education","lineage":["https://openalex.org/I7863295"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Giorgi Japaridze","raw_affiliation_strings":["Villanova University, Villanova, PA"],"affiliations":[{"raw_affiliation_string":"Villanova University, Villanova, PA","institution_ids":["https://openalex.org/I7863295"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5021239614"],"corresponding_institution_ids":["https://openalex.org/I7863295"],"apc_list":null,"apc_paid":null,"fwci":3.7258,"has_fulltext":false,"cited_by_count":27,"citation_normalized_percentile":{"value":0.93452739,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"7","issue":"2","first_page":"331","last_page":"362"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computability","display_name":"Computability","score":0.8159919381141663},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.7479051351547241},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.6506515741348267},{"id":"https://openalex.org/keywords/zeroth-order-logic","display_name":"Zeroth-order logic","score":0.5360180735588074},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5071642398834229},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.4987931251525879},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.485624223947525},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4819483458995819},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4534012973308563},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.4467766284942627},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4386619031429291},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4190688133239746},{"id":"https://openalex.org/keywords/well-formed-formula","display_name":"Well-formed formula","score":0.41689518094062805},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3941479027271271},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.35796919465065},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.35765713453292847},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.30357813835144043},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.15996193885803223}],"concepts":[{"id":"https://openalex.org/C152062344","wikidata":"https://www.wikidata.org/wiki/Q818888","display_name":"Computability","level":2,"score":0.8159919381141663},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7479051351547241},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.6506515741348267},{"id":"https://openalex.org/C110039528","wikidata":"https://www.wikidata.org/wiki/Q8069651","display_name":"Zeroth-order logic","level":4,"score":0.5360180735588074},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5071642398834229},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.4987931251525879},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.485624223947525},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4819483458995819},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4534012973308563},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.4467766284942627},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4386619031429291},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4190688133239746},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.41689518094062805},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3941479027271271},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.35796919465065},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.35765713453292847},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.30357813835144043},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.15996193885803223},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1131313.1131319","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1131313.1131319","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:cs/0406037","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0406037","pdf_url":"https://arxiv.org/pdf/cs/0406037","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.342.7141","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.7141","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://arxiv.org/pdf/cs/0406037v1.pdf","raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:cs/0406037","is_oa":true,"landing_page_url":"http://arxiv.org/abs/cs/0406037","pdf_url":"https://arxiv.org/pdf/cs/0406037","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1484853361","https://openalex.org/W1996605832","https://openalex.org/W2015274054","https://openalex.org/W2121000477"],"related_works":["https://openalex.org/W2081976468","https://openalex.org/W3100510665","https://openalex.org/W2285760602","https://openalex.org/W2389445","https://openalex.org/W2078736672","https://openalex.org/W2963419277","https://openalex.org/W2075399510","https://openalex.org/W2020323165","https://openalex.org/W2165019859","https://openalex.org/W4391013322"],"abstract_inverted_index":{"Computability":[0],"logic":[1,49],"is":[2,30,89],"a":[3,28,35,58],"formal":[4],"theory":[5],"of":[6,27,37,64,92,95,131],"computational":[7,15,23,105,115],"tasks":[8],"and":[9,25,53,109],"resources.":[10],"Its":[11],"formulas":[12],"represent":[13],"interactive":[14],"problems,":[16,24],"logical":[17],"operators":[18],"stand":[19],"for":[20,55],"operations":[21],"on":[22],"validity":[26],"formula":[29],"understood":[31],"as":[32],"its":[33,98],"being":[34,125],"scheme":[36],"problems":[38,106],"that":[39,71],"always":[40],"have":[41],"algorithmic":[42],"solutions.":[43],"The":[44,67],"earlier":[45],"article":[46,69],"\u201cPropositional":[47],"computability":[48,65],"I\u201d":[50],"proved":[51],"soundness":[52],"completeness":[54],"the":[56,74,90,123,128,132],"(in":[57],"sense)":[59],"minimal":[60],"nontrivial":[61],"fragment":[62,130],"CL1":[63,88,120],"logic.":[66],"present":[68],"extends":[70,119],"result":[72],"to":[73],"significantly":[75],"more":[76,85],"expressive":[77,86],"propositional":[78],"system":[79],"CL2":[80,84,117],".":[81],"What":[82],"makes":[83],"than":[87],"presence":[91],"two":[93],"sorts":[94],"atoms":[96,101,111],"in":[97],"language:":[99],"elementary":[100,104],",":[102,112,121],"representing":[103,113],"(i.e.":[107],"predicates),":[108],"general":[110],"arbitrary":[114],"problems.":[116],"conservatively":[118],"with":[122],"latter":[124],"nothing":[126],"but":[127],"general-atom-free":[129],"former.":[133]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}