{"id":"https://openalex.org/W2140596249","doi":"https://doi.org/10.1305/ndjfl/1093890900","title":"A completeness proof for $C$-calculus.","display_name":"A completeness proof for $C$-calculus.","publication_year":1973,"publication_date":"1973-02-01","ids":{"openalex":"https://openalex.org/W2140596249","doi":"https://doi.org/10.1305/ndjfl/1093890900","mag":"2140596249"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093890900","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093890900","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5097341755","display_name":"H. Hi\u00c5 \u2044","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"H. Hi\u00c5\u00bc","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5097341755"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.5785,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.88398709,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"2","first_page":null,"last_page":null},"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.9645000100135803,"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.9645000100135803,"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.9257000088691711,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.7927336692810059},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.7449242472648621},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5349729061126709},{"id":"https://openalex.org/keywords/burden-of-proof","display_name":"Burden of proof","score":0.49291467666625977},{"id":"https://openalex.org/keywords/structural-proof-theory","display_name":"Structural proof theory","score":0.44146299362182617},{"id":"https://openalex.org/keywords/natural-deduction","display_name":"Natural deduction","score":0.4389418363571167},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.35896334052085876},{"id":"https://openalex.org/keywords/proof-theory","display_name":"Proof theory","score":0.28246110677719116},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.2358456254005432},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.08878517150878906},{"id":"https://openalex.org/keywords/law","display_name":"Law","score":0.06312823295593262},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.056266456842422485},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.04258131980895996}],"concepts":[{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.7927336692810059},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.7449242472648621},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5349729061126709},{"id":"https://openalex.org/C2777431735","wikidata":"https://www.wikidata.org/wiki/Q1535975","display_name":"Burden of proof","level":2,"score":0.49291467666625977},{"id":"https://openalex.org/C195653647","wikidata":"https://www.wikidata.org/wiki/Q7625047","display_name":"Structural proof theory","level":4,"score":0.44146299362182617},{"id":"https://openalex.org/C62073222","wikidata":"https://www.wikidata.org/wiki/Q1572108","display_name":"Natural deduction","level":2,"score":0.4389418363571167},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.35896334052085876},{"id":"https://openalex.org/C2318724","wikidata":"https://www.wikidata.org/wiki/Q852732","display_name":"Proof theory","level":3,"score":0.28246110677719116},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.2358456254005432},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.08878517150878906},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.06312823295593262},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.056266456842422485},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.04258131980895996},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093890900","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093890900","pdf_url":null,"source":{"id":"https://openalex.org/S78544662","display_name":"Notre Dame Journal of Formal Logic","issn_l":"0029-4527","issn":["0029-4527","1939-0726"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310315698","host_organization_name":"Duke University Press","host_organization_lineage":["https://openalex.org/P4310315698","https://openalex.org/P4310315572"],"host_organization_lineage_names":["Duke University Press","Duke University"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Notre Dame Journal of Formal Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093890900","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093890900","pdf_url":null,"source":{"id":"https://openalex.org/S4306400787","display_name":"Project Euclid (Cornell University)","issn_l":null,"issn":null,"is_oa":false,"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":"","raw_type":"Text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2116261996","https://openalex.org/W2504089266"],"related_works":["https://openalex.org/W1603543958","https://openalex.org/W1807903125","https://openalex.org/W4297816441","https://openalex.org/W4387322292","https://openalex.org/W2513857873","https://openalex.org/W2599938050","https://openalex.org/W27959772","https://openalex.org/W2170954486","https://openalex.org/W1557149243","https://openalex.org/W2950279424"],"abstract_inverted_index":{"To":[0],"Alfred":[1],"Tarsk\u03af":[2],"who":[3],"first":[4,174,202],"axiomat\u03afzed":[5],"C-calculusIntroduction,":[6],"Every":[7],"true":[8,89],"formula":[9,42,82,102,126],"of":[10,21,40,43,50,53,66,72,127,137,158,164,168,177,180,193,204,208,222,225],"the":[11,15,26,37,44,48,54,70,84,96,104,110,128,140,223],"classical":[12],"implicational":[13,85,105,141],"logic,":[14],"C-calculus,":[16],"is":[17,65,75,78,88,113,122,130],"provable,":[18],"by":[19,166,184,198,212],"means":[20,167],"substitution":[22],"and":[23,33,57,91,99,118,216,227],"detachment,":[24],"from":[25,115],"following":[27],"three":[28],"axioms:In":[29],"effect":[30],"1,":[31,116],"2":[32,59,117,195],"3":[34],"jointly":[35],"assert":[36],"inferential":[38,169],"equivalence":[39],"a":[41,81,134],"form":[45,87,107],"CCa\u03b2\u03b3":[46],"with":[47,162],"set":[49,136],"two":[51],"formulas":[52,138],"forms":[55],"C\u03b2\u03b3":[56],"CCa\u03b3\u03b3.":[58],"The":[60,173],"completeness":[61,175,206,221],"proof":[62,176,207,219],"which":[63,108],"follows":[64],"elementary":[67],"nature.":[68],"3First,":[69],"deduction":[71],"useful":[73],"theorems":[74],"given.Then,":[76],"it":[77,94,121],"shown":[79,123],"that":[80,100,124],"in":[83,103,139,147,160,200],"normal":[86,106,142],"if":[90,93],"only":[92],"satisfies":[95,109],"chain":[97,111],"condition,":[98],"every":[101,125],"condition":[112],"deducible":[114],"3.":[119],"Finally,":[120],"C-calculus":[129,181,209],"inferentially":[131],"equivalent":[132],"to":[133,190],"finite":[135],"form.1.This":[143],"axiomatization":[144,179,203],"was":[145,182,196,210],"discovered":[146],"1961.2.":[148],"Equivalence":[149],"asserting":[150],"axiomatizations,":[151],"besides":[152],"being":[153],"pedagogically":[154],"transparent,":[155],"may":[156],"be":[157],"interest":[159],"connection":[161],"systematization":[163],"metalogic":[165],"equivalence;":[170],"see":[171],"[1].3.":[172],"an":[178],"given":[183,211],"Tarski,":[185],"but":[186],"never":[187],"published.See":[188],"footnote":[189],"p.":[191],"145":[192],"[3].Formula":[194],"used":[197],"Tarski":[199],"his":[201],"C-calculus.Another":[205],"Kurt":[213],"SchUtte,":[214],"cf.[5]":[215],"[4],":[217],"pp.214-217.Sch\u03cbtte's":[218],"presupposes":[220],"logic":[224],"implication":[226],"negation":[228],"(the":[229],"C-Nc":[230],"alculus).":[231]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}