{"id":"https://openalex.org/W2038004746","doi":"https://doi.org/10.1305/ndjfl/1093883178","title":"Career induction for quantifiers.","display_name":"Career induction for quantifiers.","publication_year":1980,"publication_date":"1980-07-01","ids":{"openalex":"https://openalex.org/W2038004746","doi":"https://doi.org/10.1305/ndjfl/1093883178","mag":"2038004746"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093883178","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093883178","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/A5102354497","display_name":"Robert K. Meyer","orcid":null},"institutions":[{"id":"https://openalex.org/I118347636","display_name":"Australian National University","ror":"https://ror.org/019wvm592","country_code":"AU","type":"education","lineage":["https://openalex.org/I118347636"]}],"countries":["AU"],"is_corresponding":true,"raw_author_name":"Robert K. Meyer","raw_affiliation_strings":["Philosophy Department The Australian National University Canberra ACT 2600, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Philosophy Department The Australian National University Canberra ACT 2600, Australia","institution_ids":["https://openalex.org/I118347636"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102354497"],"corresponding_institution_ids":["https://openalex.org/I118347636"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09238864,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"21","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.6589999794960022,"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/T10320","display_name":"Neural Networks and Applications","score":0.6589999794960022,"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.5692999958992004,"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/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.5478000044822693,"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/programming-language","display_name":"Programming language","score":0.4281264543533325},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.42590880393981934},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32415205240249634}],"concepts":[{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4281264543533325},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.42590880393981934},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32415205240249634}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093883178","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093883178","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/1093883178","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093883178","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":[{"display_name":"Gender equality","score":0.5600000023841858,"id":"https://metadata.un.org/sdg/5"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2041833446","https://openalex.org/W2048346936","https://openalex.org/W2062861017","https://openalex.org/W2074025367","https://openalex.org/W2124788466","https://openalex.org/W2320524668","https://openalex.org/W4302314483","https://openalex.org/W6662267955","https://openalex.org/W6790051586"],"related_works":["https://openalex.org/W2899084033","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"],"abstract_inverted_index":{"In":[0],"[7],":[1],"I":[2],"showed":[3],"that":[4,36,124,138,168,186,355],"Belnap's":[5],"method":[6,27,133],"of":[7,41,62,92,102,109,122,147,161,188,197,212,223,229,266,273,285,288,295,305,321,331,348,363,365,374],"\"career":[8],"induction\"":[9],"comes":[10],"to":[11,114,141,144,157,165,193,204,219,245,248,270,353],"an":[12,158],"unexpected":[13],"halt":[14,20],"at":[15],"the":[16,19,26,52,63,72,89,97,110,116,119,132,139,145,162,195,221,286,292,316,319,329,345,349,361,366,371],"second":[17,64],"degree.While":[18],"was":[21],"called":[22],"for":[23,37,47,79,88,100,208],"relevant":[24,126],"logics,":[25],"is":[28,35,61,69,76,106,113,164,191,242,269,291,351,360],"quite":[29,135],"general.What":[30],"it":[31,143],"amounts":[32],"to,":[33],"roughly,":[34],"a":[38,54,85,198,254,280,289],"large":[39],"number":[40],"logical":[42,184],"systems,":[43],"one":[44,342],"can":[45],"find,":[46],"each":[48],"formula":[49,55,290],"A":[50,68,311,322,326,337,373],"in":[51,71,183,214],"vocabulary,":[53],"A*":[56,60],"such":[57,206],"that:":[58],"(i)":[59],"degree":[65,287,294,304,330,347],"and":[66,150,233,264,276,282],"(ii)":[67],"provable":[70,77],"system":[73],"iff":[74],"^4*":[75],"therein.Thus,":[78],"example,":[80,209],"if":[81],"we":[82,94],"could":[83,95],"find":[84],"decision":[86,98,140],"procedure":[87],"second-degree":[90,130],"formulas":[91,372],"R,":[93],"solve":[96],"question":[99,105],"all":[101],"R.":[103],"(This":[104],"open.)The":[107],"purpose":[108],"present":[111],"note":[112],"generalize":[115],"method,":[117],"with":[118,170,258],"particular":[120],"aim":[121],"showing":[123],"first-order":[125],"logics":[127],"are":[128,217],"also":[129],"reducible.Again,":[131],"remains":[134],"general,":[136],"so":[137],"apply":[142],"analysis":[146],"R":[148],"x":[149],"its":[151],"kin":[152],"may":[153],"be":[154,166,175,271,301,315,341],"written":[155],"off":[156,177],"idiosyncratic":[159],"interest":[160],"author.It":[163],"hoped":[167],"readers":[169],"other":[171,201],"problems":[172],"will":[173],"not":[174,239],"put":[176],"by":[178],"this":[179,249,357],"interest.It":[180],"often":[181],"happens,":[182],"analysis,":[185],"iteration":[187],"some":[189],"particles":[190,202,230],"held":[192,218],"increase":[194,220,240],"complexity":[196],"formula,":[199],"whereas":[200,226],"lead":[203],"no":[205],"increase.Thus,":[207],"iterated":[210,227],"occurrences":[211,228],"D":[213],"modal":[215,224],"logic":[216,256],"\"degree":[222],"involvement\",":[225],"like":[231],"&":[232],"~,":[234],"being":[235],"merely":[236],"truth-functional,":[237],"do":[238],"degree.It":[241],"very":[243],"easy":[244,352],"tie":[246],"numbers":[247],"scheme.For":[250],"illustrative":[251],"purposes,":[252],"consider":[253],"sentential":[255],"formulated":[257],"just":[259],"two":[260],"rc-ary":[261],"connectives":[262],"c":[263,268],"C,":[265],"which":[267],"thought":[272],"as":[274,278],"degree-nonincreasing":[275],"C":[277,369],"degreeincreasing.Then":[279],"sensible":[281],"familiar":[283],"specification":[284],"following.The":[293],"every":[296],"propositional":[297],"variable":[298],"p":[299],"shall":[300,314,340],"0.":[302],"The":[303],"c(A":[306],"u":[307,323],".":[308,309,324,335],".9":[310],"n":[312,327,338],")":[313,339],"greatest":[317],"among":[318,370],"degrees":[320],"..,":[325,336],".And":[328],"C(A":[332],"X":[333],",":[334],"greater":[343],"than":[344],"maximal":[346],"Aj.It":[350],"see":[354],"what":[356],"scheme":[358],"measures":[359],"depth":[362],"nesting":[364],"degree-raising":[367],"connective":[368],"our":[375],"sample":[376],"language.":[377]},"counts_by_year":[],"updated_date":"2026-08-06T08:24:18.245995","created_date":"2025-10-10T00:00:00"}