{"id":"https://openalex.org/W2163281333","doi":"https://doi.org/10.1305/ndjfl/1093635837","title":"A logic for natural language.","display_name":"A logic for natural language.","publication_year":1991,"publication_date":"1991-06-01","ids":{"openalex":"https://openalex.org/W2163281333","doi":"https://doi.org/10.1305/ndjfl/1093635837","mag":"2163281333"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093635837","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635837","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-32/issue-3/A-logic-for-natural-language/10.1305/ndjfl/1093635837.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-32/issue-3/A-logic-for-natural-language/10.1305/ndjfl/1093635837.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110826173","display_name":"William C. Purdy","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"William C. Purdy","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5110826173"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.2355,"has_fulltext":true,"cited_by_count":37,"citation_normalized_percentile":{"value":0.92532577,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"32","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9915000200271606,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9915000200271606,"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.991100013256073,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.9812999963760376,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/computer-science","display_name":"Computer science","score":0.45162951946258545},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.36396363377571106},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.34860551357269287},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.32749712467193604},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.2981545925140381}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.45162951946258545},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.36396363377571106},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.34860551357269287},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.32749712467193604},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.2981545925140381}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1305/ndjfl/1093635837","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635837","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-32/issue-3/A-logic-for-natural-language/10.1305/ndjfl/1093635837.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:surface.syr.edu:eecs_techreports-1059","is_oa":true,"landing_page_url":"https://surface.syr.edu/eecs_techreports/64","pdf_url":"https://surface.syr.edu/cgi/viewcontent.cgi?article=1059&context=eecs_techreports","source":{"id":"https://openalex.org/S4306401700","display_name":"Syracuse University Libraries (Syracuse University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I70983195","host_organization_name":"Syracuse University","host_organization_lineage":["https://openalex.org/I70983195"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electrical Engineering and Computer Science - Technical Reports","raw_type":"text"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1093635837","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093635837","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.463.8156","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.463.8156","pdf_url":null,"source":null,"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/1093635837","is_oa":true,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093635837","pdf_url":"https://projecteuclid.org/journals/notre-dame-journal-of-formal-logic/volume-32/issue-3/A-logic-for-natural-language/10.1305/ndjfl/1093635837.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.6299999952316284,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2163281333.pdf","grobid_xml":"https://content.openalex.org/works/W2163281333.grobid-xml"},"referenced_works_count":21,"referenced_works":["https://openalex.org/W82835981","https://openalex.org/W188066223","https://openalex.org/W1491662978","https://openalex.org/W1979327763","https://openalex.org/W1985947713","https://openalex.org/W1994932854","https://openalex.org/W2041792487","https://openalex.org/W2047868398","https://openalex.org/W2048953720","https://openalex.org/W2051033340","https://openalex.org/W2063981788","https://openalex.org/W2165363880","https://openalex.org/W2798576193","https://openalex.org/W2912826881","https://openalex.org/W3145016028","https://openalex.org/W4230547059","https://openalex.org/W4236828747","https://openalex.org/W4285719527","https://openalex.org/W6603377457","https://openalex.org/W6645241452","https://openalex.org/W6663175256"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"abstract_inverted_index":{"This":[0],"paper":[1],"describes":[2],"a":[3,116,127,132],"language":[4],"called":[5,46],"N":[6,14,52,56,96,130,173],"whose":[7],"structure":[8],"mirrors":[9],"that":[10],"of":[11,19,29,38,126,153],"natural":[12,50,103],"language.":[13,138],"is":[15,41,53,91,97,107,144],"characterized":[16],"by":[17,43],"absence":[18],"variables":[20,40],"and":[21,33,73,105,141,151,155,158],"individual":[22,31],"constants.":[23],"Singular":[24],"predicates":[25],"assume":[26],"the":[27,68,74,85,136],"role":[28,37],"both":[30],"constants":[32],"free":[34],"variables.":[35],"The":[36,79],"bound":[39],"played":[42],"predicate":[44,69,75,86],"functors":[45],"\"selection":[47],"operators\".":[48],"Like":[49],"languages,":[51],"implicitly":[54],"many-sorted.":[55],"does":[57],"not":[58,92],"have":[59],"an":[60],"identity":[61,72,89],"relation.":[62],"Its":[63],"expressive":[64],"power":[65],"lies":[66],"between":[67],"calculus":[70,76,87],"without":[71],"with":[77,88],"identity.":[78],"loss":[80],"in":[81,95,102,115,129,135,160,172],"expressiveness":[82],"relative":[83],"to":[84,99,113,149,156,169],"however":[90],"significant.":[93],"Deduction":[94],"intended":[98],"parallel":[100],"reasoning":[101,171],"language,":[104],"therefore":[106],"termed":[108],"\"surface":[109],"reasoning\".":[110],"In":[111],"contrast":[112],"deduction":[114],"disparate":[117],"underlying":[118],"logic":[119],"such":[120],"as":[121],"clausal":[122],"form,":[123],"each":[124],"step":[125],"proof":[128],"has":[131],"direct":[133],"counterpart":[134],"surface":[137],"A":[139],"sound":[140],"complete":[142],"axiomatization":[143],"given.":[145],"Derived":[146],"rules,":[147],"corresponding":[148],"monotonicity":[150],"conservativity":[152],"quantifiers":[154],"unification":[157],"resolution":[159],"conventional":[161],"logic,":[162],"are":[163,167],"presented.":[164],"Several":[165],"problems":[166],"worked":[168],"illustrate":[170],".":[174]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":4},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}