{"id":"https://openalex.org/W2001951112","doi":"https://doi.org/10.1305/ndjfl/1074290712","title":"The Semantics of Entailment Omega","display_name":"The Semantics of Entailment Omega","publication_year":2002,"publication_date":"2002-07-01","ids":{"openalex":"https://openalex.org/W2001951112","doi":"https://doi.org/10.1305/ndjfl/1074290712","mag":"2001951112"},"language":"fr","primary_location":{"id":"doi:10.1305/ndjfl/1074290712","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1074290712","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/A5053585862","display_name":"Mariangiola Dezani-Ciancaglini","orcid":"https://orcid.org/0000-0002-3341-0941"},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]},{"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"]},{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]},{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["AU","IT","US"],"is_corresponding":false,"raw_author_name":"Mariangiola Dezani-Ciancaglini","raw_affiliation_strings":["Automated Reasoning RSISE Australian National University AUSTRALIA","Dipartimento di Matematica e Informatica Universit\u00e0 di Udine Udine ITALY","University of Notre Dame Dipartimento di Informatica","Universit\u00e0 di Torino Torino ITALY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automated Reasoning RSISE Australian National University AUSTRALIA","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica Universit\u00e0 di Udine Udine ITALY","institution_ids":["https://openalex.org/I129043915"]},{"raw_affiliation_string":"University of Notre Dame Dipartimento di Informatica","institution_ids":["https://openalex.org/I107639228"]},{"raw_affiliation_string":"Universit\u00e0 di Torino Torino ITALY","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102354497","display_name":"Robert K. Meyer","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]},{"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"]},{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]},{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["AU","IT","US"],"is_corresponding":false,"raw_author_name":"Robert K. Meyer","raw_affiliation_strings":["Automated Reasoning RSISE Australian National University AUSTRALIA","Dipartimento di Matematica e Informatica Universit\u00e0 di Udine Udine ITALY","University of Notre Dame Dipartimento di Informatica","Universit\u00e0 di Torino Torino ITALY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automated Reasoning RSISE Australian National University AUSTRALIA","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica Universit\u00e0 di Udine Udine ITALY","institution_ids":["https://openalex.org/I129043915"]},{"raw_affiliation_string":"University of Notre Dame Dipartimento di Informatica","institution_ids":["https://openalex.org/I107639228"]},{"raw_affiliation_string":"Universit\u00e0 di Torino Torino ITALY","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050975718","display_name":"Yoko Motohama","orcid":null},"institutions":[{"id":"https://openalex.org/I107639228","display_name":"University of Notre Dame","ror":"https://ror.org/00mkhxb43","country_code":"US","type":"education","lineage":["https://openalex.org/I107639228"]},{"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"]},{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]},{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["AU","IT","US"],"is_corresponding":true,"raw_author_name":"Yoko Motohama","raw_affiliation_strings":["Automated Reasoning RSISE Australian National University AUSTRALIA","Dipartimento di Matematica e Informatica Universit\u00e0 di Udine Udine ITALY","University of Notre Dame Dipartimento di Informatica","Universit\u00e0 di Torino Torino ITALY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Automated Reasoning RSISE Australian National University AUSTRALIA","institution_ids":["https://openalex.org/I118347636"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica Universit\u00e0 di Udine Udine ITALY","institution_ids":["https://openalex.org/I129043915"]},{"raw_affiliation_string":"University of Notre Dame Dipartimento di Informatica","institution_ids":["https://openalex.org/I107639228"]},{"raw_affiliation_string":"Universit\u00e0 di Torino Torino ITALY","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5050975718"],"corresponding_institution_ids":["https://openalex.org/I107639228","https://openalex.org/I118347636","https://openalex.org/I129043915","https://openalex.org/I55143463"],"apc_list":null,"apc_paid":null,"fwci":2.6285,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.90633715,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"43","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9997000098228455,"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.9976999759674072,"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.9891999959945679,"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/mathematics","display_name":"Mathematics","score":0.5714847445487976},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4549117386341095},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.42899808287620544},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4263472557067871},{"id":"https://openalex.org/keywords/intersection","display_name":"Intersection (aeronautics)","score":0.4111674427986145},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4001719057559967},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.3984009623527527},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3561857342720032}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5714847445487976},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4549117386341095},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.42899808287620544},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4263472557067871},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.4111674427986145},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4001719057559967},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3984009623527527},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3561857342720032},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1305/ndjfl/1074290712","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1074290712","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:CiteSeerX.psu:10.1.1.15.6527","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.6527","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.di.unito.it/~dezani/papers/ndj03.pdf","raw_type":"text"},{"id":"pmh:oai:CULeuclid:euclid.ndjfl/1074290712","is_oa":false,"landing_page_url":"https://projecteuclid.org/euclid.ndjfl/1074290712","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W1505359507","https://openalex.org/W1506910973","https://openalex.org/W1523047387","https://openalex.org/W1524655177","https://openalex.org/W1603128166","https://openalex.org/W1966026637","https://openalex.org/W1968426557","https://openalex.org/W1970227944","https://openalex.org/W1972921902","https://openalex.org/W1988897846","https://openalex.org/W1990370351","https://openalex.org/W2010274553","https://openalex.org/W2074025367","https://openalex.org/W2075277371","https://openalex.org/W2082707306","https://openalex.org/W2154273644","https://openalex.org/W2295020882","https://openalex.org/W2313175711","https://openalex.org/W3128976560","https://openalex.org/W4252137238","https://openalex.org/W4285719527","https://openalex.org/W6630282360"],"related_works":["https://openalex.org/W2019004897","https://openalex.org/W2966199516","https://openalex.org/W2015472918","https://openalex.org/W2004427275","https://openalex.org/W2962682765","https://openalex.org/W3182351246","https://openalex.org/W2528333032","https://openalex.org/W2168341937","https://openalex.org/W2152655108","https://openalex.org/W2060536768"],"abstract_inverted_index":{"This":[0,132],"paper":[1,201],"discusses":[2],"the":[3,6,37,43,63,73,90,125,154,161,178,188,194,199,221],"relation":[4],"between":[5,23,36],"minimal":[7],"positive":[8],"relevant":[9],"logic":[10],"B$_{+}$":[11],"and":[12,14,42,52,76,120,143,213,237],"intersection":[13,110],"union":[15,149],"type":[16,109,148],"theories.":[17],"There":[18],"is":[19,89,140,224],"a":[20,33,97,136,167,233],"marvelous":[21],"coincidence":[22,94],"these":[24,84],"very":[25],"differently":[26],"motivated":[27],"research":[28],"areas.":[29],"First,":[30],"we":[31],"show":[32],"perfect":[34],"fit":[35],"Intersection":[38],"Type":[39],"Discipline":[40],"ITD":[41,185],"tweaking":[44],"B$\\wedge$T":[45],"of":[46,62,72,83,100,158,163,182,198,220,235],"B$_{+}$,":[47],"which":[48,209,230],"saves":[49],"implication":[50],"$\\to$":[51,117],"conjunction":[53,113],"$\\wedge$":[54],"but":[55,128],"drops":[56],"disjunction":[57,156],"$\\vee$.":[58],"The":[59,93,196],"filter":[60],"models":[61,82],"$\\lambda$-calculus":[64],"(and":[65],"its":[66],"intimate":[67],"partner":[68],"Combinatory":[69],"Logic":[70],"CL)":[71],"first":[74],"author":[75],"her":[77],"coauthors":[78],"then":[79,225],"become":[80],"theory":[81],"calculi.":[85],"(The":[86],"logician's":[87],"\"theory\"":[88],"algebraist's":[91],"\"filter\".)":[92],"extends":[95],"to":[96,106,112,118,124,144,153,206],"dual":[98],"interpretation":[99],"key":[101,179],"particles\u2014the":[102],"subtype":[103],"$\\leq$":[104],"translates":[105],"provable":[107],"$\\to$,":[108],"$\\cap$":[111],"$\\wedge$,":[114],"function":[115],"space":[116],"implication,":[119],"whole":[121],"domain":[122],"$\\omega$":[123],"(trivially":[126],"added":[127],"trivial)":[129],"truth":[130],"T.":[131],"satisfying":[133],"ointment":[134],"contains":[135],"fly.":[137],"For":[138],"it":[139],"right,":[141],"proper,":[142],"be":[145],"expected":[146],"that":[147],"$\\cup$":[150],"should":[151],"correspond":[152],"logical":[155],"$\\vee$":[157],"B$_{+}$.":[159],"But":[160],"simulation":[162],"functional":[164],"application":[165],"by":[166],"fusion":[168],"(or":[169],"modus":[170],"ponens":[171],"product)":[172],"operation":[173],"$\\circ$":[174],"on":[175,184],"theories":[176,190,208],"leaves":[177],"Bubbling":[180,222],"lemma":[181,223],"work":[183],"unprovable":[186],"for":[187,193,227],"$\\vee$-prime":[189],"now":[191],"appropriate":[192],"modeling.":[195],"focus":[197],"present":[200],"lies":[202],"in":[203],"an":[204],"appeal":[205],"Harrop":[207,228],"are":[210],"(a)":[211],"prime":[212],"(b)":[214],"closed":[215],"under":[216],"fusion.":[217],"A":[218],"version":[219],"proved":[226],"theories,":[229],"accordingly":[231],"furnish":[232],"model":[234],"$\\lambda$":[236],"CL.":[238]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}