{"id":"https://openalex.org/W2049677960","doi":"https://doi.org/10.1305/ndjfl/1093887837","title":"First degree formulas in Curry's LD.","display_name":"First degree formulas in Curry's LD.","publication_year":1977,"publication_date":"1977-01-01","ids":{"openalex":"https://openalex.org/W2049677960","doi":"https://doi.org/10.1305/ndjfl/1093887837","mag":"2049677960"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093887837","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887837","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-1/First-degree-formulas-in-Currys-LD/10.1305/ndjfl/1093887837.pdf","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":true,"oa_status":"bronze","oa_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-1/First-degree-formulas-in-Currys-LD/10.1305/ndjfl/1093887837.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102354497","display_name":"Robert K. Meyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Robert K. Meyer","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5102354497"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.1926858,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","issue":"1","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9818000197410583,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11245","display_name":"Advanced Numerical Analysis Techniques","score":0.9818000197410583,"subfield":{"id":"https://openalex.org/subfields/2206","display_name":"Computational Mechanics"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.9617000222206116,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"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/T11727","display_name":"Advanced Algebra and Logic","score":0.9585999846458435,"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/curry","display_name":"Curry","score":0.9565062522888184},{"id":"https://openalex.org/keywords/degree","display_name":"Degree (music)","score":0.618797779083252},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5376628041267395},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.24662193655967712},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11251664161682129},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10819509625434875}],"concepts":[{"id":"https://openalex.org/C2781029818","wikidata":"https://www.wikidata.org/wiki/Q2368856","display_name":"Curry","level":2,"score":0.9565062522888184},{"id":"https://openalex.org/C2775997480","wikidata":"https://www.wikidata.org/wiki/Q586277","display_name":"Degree (music)","level":2,"score":0.618797779083252},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5376628041267395},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.24662193655967712},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11251664161682129},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10819509625434875},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093887837","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887837","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-1/First-degree-formulas-in-Currys-LD/10.1305/ndjfl/1093887837.pdf","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/1093887837","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093887837","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":{"id":"doi:10.1305/ndjfl/1093887837","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093887837","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-18/issue-1/First-degree-formulas-in-Currys-LD/10.1305/ndjfl/1093887837.pdf","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"},"sustainable_development_goals":[{"score":0.6499999761581421,"id":"https://metadata.un.org/sdg/2","display_name":"Zero hunger"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2049677960.pdf","grobid_xml":"https://content.openalex.org/works/W2049677960.grobid-xml"},"referenced_works_count":7,"referenced_works":["https://openalex.org/W1480405493","https://openalex.org/W1997513877","https://openalex.org/W2048346936","https://openalex.org/W2074025367","https://openalex.org/W2126833102","https://openalex.org/W2984387936","https://openalex.org/W4302314483"],"related_works":["https://openalex.org/W4300022558","https://openalex.org/W4243970755","https://openalex.org/W2518544609","https://openalex.org/W2282931459","https://openalex.org/W4247777465","https://openalex.org/W2896691900","https://openalex.org/W2920629453","https://openalex.org/W2520149502","https://openalex.org/W2164890668","https://openalex.org/W1596503157"],"abstract_inverted_index":{"In":[0],"[1],":[1],"Belnap":[2,192],"provided":[3],"an":[4,225],"algebraic":[5,209],"semantics":[6],"for":[7,110,193,206],"the":[8,12,19,33,127,138,153,181,197,255],"first-degree":[9,128,157],"fragments":[10,129],"of":[11,21,35,46,121,126,130,152,155,213],"relevant":[13,198],"logics":[14,132],"E":[15],"and":[16,118,135,211,218,240,254,287],"R,":[17],"i.e.,":[18],"sets":[20],"formulas":[22,158],"A":[23,273],"such":[24,57],"that":[25,186],"no":[26],"implication":[27,36,59,95],"signs":[28],"->":[29],"themselves":[30],"occur":[31],"within":[32],"scope":[34],"signs.First-degree":[37],"formulas,":[38],"also":[39],"studied":[40],"from":[41],"a":[42,67,82,97,148,290],"Kripke-style":[43],"semantic":[44],"point":[45],"view":[47],"in":[48,62,137,159,164,180,196,216],"Routley's":[49],"[2],":[50],"are":[51,133,249,258],"particularly":[52],"important":[53,134],"because":[54],"only":[55],"on":[56,119],"can":[58],"be":[60,85,101,144],"taken":[61],"its":[63],"natural":[64],"sense":[65],"as":[66,81,96,104,162,224,252],"relation":[68],"between":[69],"sentences,":[70],"1":[71,220],"which":[72],"either":[73],"holds":[74],"or":[75],"does":[76],"not":[77],"hold,":[78],"rather":[79],"than":[80],"connective":[83,98],"to":[84,87,89,100,114,146,173,191,204],"applied":[86],"sentences":[88],"yield":[90],"further":[91],"sentences.Arguments":[92],"against":[93],"using":[94],"seem":[99],"losing":[102],"force":[103],"years":[105],"go":[106],"by,":[107],"but":[108],"both":[109],"those":[111],"who":[112],"continue":[113],"take":[115,223],"them":[116],"seriously":[117],"considerations":[120],"general":[122],"simplicity,":[123],"independent":[124],"characterizations":[125],"familiar":[131],"interesting.Accordingly,":[136],"present":[139],"note":[140,184],"Belnap's":[141],"methods":[142],"will":[143],"adapted":[145],"give":[147],"very":[149],"simple":[150],"characterization":[151],"set":[154],"valid":[156],"Curry's":[160],"D,":[161,239],"presented":[163],"[3].":[165],"2":[166],"The":[167],"intuitionist":[168],"logic":[169],"J":[170],"comes":[171],"along":[172],"some":[174],"extent,":[175],"so":[176],"it":[177],"is":[178],"included":[179],"characterization.And":[182],"I":[183,188,200,221],"here":[185],"although":[187],"am":[189,201],"indebted":[190,203],"root":[194],"insights":[195,215],"contexts,":[199],"equally":[202],"Dunn":[205],"his":[207],"penetrating":[208],"analyses":[210],"explications":[212],"these":[214],"[6]":[217],"[7],":[219],"shall":[222],"underlying":[226],"language":[227],"-C":[228],"one":[229],"with":[230],"denumerably":[231],"many":[232],"sentential":[233,241],"variables,":[234],"positive":[235],"connectives":[236],"&,":[237],"v,":[238],"constants":[242],"f,":[243],"F.":[244],"Formulas":[245],"A,":[246],"B,":[247],"etc.,":[248],"built":[250],"up":[251],"usual,":[253],"following":[256,284],"definitions":[257],"entered.DO.A":[259],"=":[260,262],"B":[261],"df":[263],"(AD":[264],"B)":[265],"&":[266],"(B":[267],"z>":[268],"A)":[269],"Dl.":[270],"~A":[271],"=df":[272,278],"=>":[274],"f":[275],"(D-negation)":[276],"D2.\u038a.A":[277],"A^>":[279],"F":[280],"(intuitionist":[281],"(J)":[282],"negation)The":[283],"axiom":[285],"schemes":[286],"rule":[288],"produce":[289],"system":[291],"DJ.":[292]},"counts_by_year":[],"updated_date":"2026-02-09T09:26:11.010843","created_date":"2025-10-10T00:00:00"}