{"id":"https://openalex.org/W1963736675","doi":"https://doi.org/10.1305/ndjfl/1093890998","title":"Sentential calculus for logical falsehoods.","display_name":"Sentential calculus for logical falsehoods.","publication_year":1973,"publication_date":"1973-07-01","ids":{"openalex":"https://openalex.org/W1963736675","doi":"https://doi.org/10.1305/ndjfl/1093890998","mag":"1963736675"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093890998","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093890998","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/A5104060065","display_name":"Charles G. Morgan","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Charles G. Morgan","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5104060065"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.157,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.90756138,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"14","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9161999821662903,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9161999821662903,"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/calculus","display_name":"Calculus (dental)","score":0.7099602818489075},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.5027954578399658},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4282084107398987},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.09297814965248108}],"concepts":[{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.7099602818489075},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.5027954578399658},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4282084107398987},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.09297814965248108},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093890998","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093890998","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/1093890998","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093890998","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":[{"score":0.4099999964237213,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644"],"abstract_inverted_index":{"Several":[0],"axiomatic":[1,180],"systems":[2,9],"for":[3,35,70,185,239,272],"sentential":[4,33,183],"calculus":[5,34,184,271],"have":[6],"been":[7],"developed.Such":[8],"are":[10,168,221],"generally":[11],"motivated":[12],"by":[13],"a":[14,28,40,109,134],"consideration":[15],"of":[16,20,32,72,92,102,111,124,136,149,166,182,225,280],"logically":[17,36,114,139,169],"true":[18,115],"sentences":[19,91,160,224],"the":[21,45,67,99,121,146,195,202,226,240,278,281,284],"formal":[22,41],"language.In":[23],"this":[24,208,252],"paper":[25],"I":[26,64,96,137,249,262],"present":[27,178],"finitely":[29],"axiomatized":[30],"system":[31,181,193,255,267,288],"false":[37,140],"sentences.1.":[38],"Introduction.Consider":[39],"language":[42],"L":[43,112,167],"with":[44,259],"following":[46],"symbols:":[47],"Sentential":[48,55],"variables:":[49],"P":[50,52],"l9":[51],"2":[53,81,165,220,232,243],",":[54,79,82],"connectives:":[56],"&-\"and,\"":[57],"v-\"or,\"":[58],"\u038a-\"not\"":[59],"Punctuation:":[60],"),":[61],"and":[62,118,143,163,176,199,218,277,286],"(":[63],"will":[65,97,106,131,156,250,263],"assume":[66],"standard":[68,100],"definition":[69],"\"sentence":[71],"L.\"":[73],"The":[74,171],"metasymbols":[75],"R,":[76],"R":[77,80,161,164,219,229],"\u03bb":[78,162],".":[83,84],".will":[85],"be":[86,212,235,290],"used":[87],"to":[88,90,211,234,265],"refer":[89,264],"L.":[93],"In":[94],"addition,":[95],"presuppose":[98],"theory":[101],"two-valued":[103],"truth":[104,126,151],"tables.I":[105],"say":[107,132,157],"that":[108,133,158],"sentence":[110,135,241],"is":[113,138,210,233,256],"(LT)":[116],"if":[117,120,142,145,216],"only":[119,129,144,154],"final":[122,147],"column":[123,148],"its":[125,150],"table":[127,152],"has":[128,153],"T's.I":[130],"(LF)":[141],"F's.I":[155],"two":[159,223],"equivalent2.":[170],"System":[172],"SCT.In":[173],"[1],":[174],"Hubert":[175,285],"Ackermann":[177,287],"an":[179,214,237],"logical":[186],"truths.With":[187],"some":[188],"small":[189],"notational":[190,275],"differences,":[191],"their":[192,247,254,266],"uses":[194],"symbols":[196],"mentioned":[197],"above":[198],"in":[200],"addition":[201],"symbol":[203,209,282],"\"-\u2022\".As":[204],"they":[205],"note,":[206],"however,":[207],"considered":[213,236],"abbreviation;":[215],"\u03b2j":[217],"any":[222],"language,":[227],"then":[228],"1":[230],"-*R":[231],"abbreviation":[238],"iRivR":[242],"([l],":[244],"pp.27-28).In":[245],"discussing":[246],"system,":[248],"eliminate":[251],"abbreviation.Since":[253],"primarily":[257],"concerned":[258],"LT":[260],"sentences,":[261],"as":[268,292],"SCT":[269],"(sentential":[270],"truths).With":[273],"slight":[274],"differences":[276],"removal":[279],"\"->\",":[283],"may":[289],"presented":[291],"follows:":[293],"Axioms":[294]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}