{"id":"https://openalex.org/W4244184217","doi":"https://doi.org/10.2307/2267045","title":"Computational logic","display_name":"Computational logic","publication_year":1949,"publication_date":"1949-09-01","ids":{"openalex":"https://openalex.org/W4244184217","doi":"https://doi.org/10.2307/2267045"},"language":"en","primary_location":{"id":"doi:10.2307/2267045","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2267045","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic 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/A5041614665","display_name":"Nathan P. Levin","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Nathan P. Levin","raw_affiliation_strings":["Los Angeles, California"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Los Angeles, California","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5041614665"],"corresponding_institution_ids":[],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.65891473,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"14","issue":"3","first_page":"167","last_page":"172"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.7782999873161316,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12170","display_name":"History and Theory of Mathematics","score":0.7782999873161316,"subfield":{"id":"https://openalex.org/subfields/2614","display_name":"Theoretical Computer Science"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.743399977684021,"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/T11727","display_name":"Advanced Algebra and Logic","score":0.6947000026702881,"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/bracketing","display_name":"Bracketing (phenomenology)","score":0.759904146194458},{"id":"https://openalex.org/keywords/sign","display_name":"Sign (mathematics)","score":0.7212976813316345},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.5525628328323364},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4741998314857483},{"id":"https://openalex.org/keywords/exposition","display_name":"Exposition (narrative)","score":0.452400803565979},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4521777629852295},{"id":"https://openalex.org/keywords/diagram","display_name":"Diagram","score":0.43679285049438477},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.43499869108200073},{"id":"https://openalex.org/keywords/stipulation","display_name":"Stipulation","score":0.42788341641426086},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.41754281520843506},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.41369643807411194},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3827216625213623},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.35979461669921875},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.32974153757095337},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.31501322984695435},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.27709075808525085},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2041681408882141},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.15886449813842773}],"concepts":[{"id":"https://openalex.org/C102944935","wikidata":"https://www.wikidata.org/wiki/Q4953701","display_name":"Bracketing (phenomenology)","level":2,"score":0.759904146194458},{"id":"https://openalex.org/C139676723","wikidata":"https://www.wikidata.org/wiki/Q1193832","display_name":"Sign (mathematics)","level":2,"score":0.7212976813316345},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.5525628328323364},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4741998314857483},{"id":"https://openalex.org/C2776285698","wikidata":"https://www.wikidata.org/wiki/Q2642214","display_name":"Exposition (narrative)","level":2,"score":0.452400803565979},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4521777629852295},{"id":"https://openalex.org/C186399060","wikidata":"https://www.wikidata.org/wiki/Q959962","display_name":"Diagram","level":2,"score":0.43679285049438477},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43499869108200073},{"id":"https://openalex.org/C2781451568","wikidata":"https://www.wikidata.org/wiki/Q16965475","display_name":"Stipulation","level":2,"score":0.42788341641426086},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.41754281520843506},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.41369643807411194},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3827216625213623},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.35979461669921875},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.32974153757095337},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.31501322984695435},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.27709075808525085},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2041681408882141},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.15886449813842773},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"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},{"id":"https://openalex.org/C124952713","wikidata":"https://www.wikidata.org/wiki/Q8242","display_name":"Literature","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2267045","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2267045","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183730667","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183730667","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.46000000834465027,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2121662537","https://openalex.org/W2223582818","https://openalex.org/W2387124463","https://openalex.org/W4252197189","https://openalex.org/W4386886339","https://openalex.org/W2356114564","https://openalex.org/W2777188078","https://openalex.org/W3166876819","https://openalex.org/W1541295543","https://openalex.org/W3120365279"],"abstract_inverted_index":{"We":[0],"make":[1],"certain":[2],"notational":[3],"conventions.":[4],"These":[5],"are":[6,80,90,126,152,177,267],"referred":[7],"to":[8,30,43,54,120,168,180,191,197,216],"as":[9,19,141,230,237,243],"CL":[10,40,71],"(Computational":[11],"Logic).":[12],"The":[13,154,232],"relation":[14],"of":[15,33,70,77,85,100,148,156,165,188,203,209,256],"interchangeability":[16],"is":[17,41,65,96,105,134,138,235,242],"introduced":[18],"the":[20,31,68,75,163,186,201],"basic":[21],"connection":[22],"between":[23,59],"logical":[24,45],"formulas.":[25],"This":[26,254],"approach":[27],"lends":[28],"perspicuity":[29],"results":[32],"sentential":[34],"calculus.":[35],"With":[36],"its":[37],"technical":[38],"devices":[39],"able":[42],"rephrase":[44],"theorems":[46],"in":[47,146,159,200],"rather":[48,196],"succinct":[49],"manner.":[50],"Our":[51],"exposition":[52],"tries":[53],"steer":[55],"a":[56,97,106,135,193,204,238,270],"middle":[57],"course":[58],"informality":[60],"and":[61,82,92,124,129,245],"strict":[62],"rigor.":[63],"It":[64],"felt":[66],"that":[67],"method":[69],"offers":[72],"advantages":[73],"for":[74,108,171],"teaching":[76],"logic.":[78],"Proofs":[79],"algorithmic":[81],"resemble":[83],"those":[84],"elementary":[86],"algebra.":[87],"All":[88],"inferences":[89],"reversible":[91],"practically":[93],"non-tentative.":[94],"Sign":[95],"primitive":[98],"term":[99],"CL.":[101],"Its":[102],"denning":[103],"property":[104],"capacity":[107],"entering":[109],"into":[110,185,269],"binary":[111],"combination":[112],"with":[113,117,211],"other":[114,150,228],"signs,":[115,189],"or":[116,174,212,224],"itself,":[118],"according":[119],"this":[121],"convention:":[122],"x":[123],"y":[125],"signs":[127,145,175,229],"if,":[128,131],"only":[130],"(x":[132],"y)":[133],"sign.":[136],"Bracketing":[137,240],"looked":[139],"upon":[140],"an":[142],"operation":[143],"on":[144],"terms":[147],"which":[149],"operations":[151],"definable.":[153],"practice":[155],"some":[157],"authors":[158],"classifying":[160],"brackets":[161,176,249],"under":[162],"heading":[164],"symbols,":[166],"seems":[167],"us":[169],"questionable;":[170],"unlike":[172],"symbols":[173],"never":[178],"used":[179,236],"denote":[181,192,217],"anything.":[182],"Brackets":[183],"enter":[184],"composition":[187],"not":[190,226],"grouping,":[194],"but":[195],"exhibit":[198],"it,":[199],"manner":[202],"diagram.":[205],"An":[206,220],"unending":[207],"list":[208],"letters,":[210],"without":[213],"subscripts,":[214],"serve":[215],"arbitrary":[218,221],"signs.":[219],"sign":[222],"may":[223,225,258],"have":[227],"parts.":[231],"numeral":[233],"\u201c2\u201d":[234],"constant.":[239],"abbreviation":[241],"follows:":[244],"so":[246],"on.":[247],"Outermost":[248],"will":[250],"ordinarily":[251],"be":[252,259],"omitted.":[253],"kind":[255],"bracketing":[257,265],"termed":[260],"left-associative.":[261],"For":[262],"convenience,":[263],"these":[264],"conventions":[266],"crystallized":[268],"rule.":[271]},"counts_by_year":[],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}