{"id":"https://openalex.org/W1977654505","doi":"https://doi.org/10.1305/ndjfl/1093888015","title":"S\u00e9mantique des formules logiques en forme d'\u00e9quivalence $n$-aire (demi-mod\u00e8les).","display_name":"S\u00e9mantique des formules logiques en forme d'\u00e9quivalence $n$-aire (demi-mod\u00e8les).","publication_year":1977,"publication_date":"1977-07-01","ids":{"openalex":"https://openalex.org/W1977654505","doi":"https://doi.org/10.1305/ndjfl/1093888015","mag":"1977654505"},"language":"fr","primary_location":{"id":"doi:10.1305/ndjfl/1093888015","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093888015","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/A5065264549","display_name":"M. K. Chytil","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Metod\u011bj K. Chytil","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5065264549"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07274531,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"18","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.8629999756813049,"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.8629999756813049,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.8611000180244446,"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.86080002784729,"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/mathematics","display_name":"Mathematics","score":0.43843671679496765},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.43773359060287476},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.4001964032649994},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.3850695490837097}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.43843671679496765},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.43773359060287476},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.4001964032649994},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.3850695490837097}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093888015","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093888015","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/1093888015","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093888015","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":[{"id":"https://metadata.un.org/sdg/10","score":0.41999998688697815,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W2030166042","https://openalex.org/W2320524668"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036","https://openalex.org/W3148032049"],"abstract_inverted_index":{"Introduction*0.1":[0],"L'Etude":[1],"presentee":[2],"se":[3],"propose":[4],"d'etudier":[5],"la":[6,107,133,224],"semantique":[7],"de":[8,21,32,111,164,167,170,174,212,219,221,223,232],"telles":[9],"formules":[10,113,137,143],"du":[11,115,139],"calcul":[12],"classique":[13],"des":[14,27,136,157,185,193],"propositions":[15,24],"qui":[16,144],"ne":[17,145],"contiennent,":[18],"en":[19,36],"plus":[20],"n":[22],"variables":[23],"lies,":[25],"que":[26,92,156,204],"foncteurs":[28],"d'equivalence":[29],"=":[30,44,46,54,73,96],"et":[31,60,173,182,199,228],"negation":[33],"\u038a.On":[34],"distingue,":[35],"meme":[37],"temps,":[38],"le":[39,75,93,151,205,210],"cas":[40],"o\u03cd:":[41],"(a)":[42],"p":[43],"q":[45],"r":[47],"s'entend":[48,65],"comme":[49,66,84,98,109],"une":[50,67,99],"abbreviation":[51,68,100],"pour":[52,69,101,132],"(p":[53,70],"q)":[55,72],"\u039b":[56],"(q":[57],"\u039e":[58,120],"\u03b3)":[59],"(b)":[61],"celui":[62],"o\u03cd":[63],"il":[64],"~":[71],"\u03b3.Pour":[74],"second":[76],"cas,":[77],"on":[78],"adopte":[79],"un":[80],"nouveau":[81],"foncteur":[82,88,94,110],"Bappele,":[83],"jusqu'":[85],"a":[86],"present,":[87],"w-aire":[89],"d'equivalence,":[90],"tandis":[91],"rc-aire":[95],"(pris":[97],"1'equivalence":[102],"conjonctive)":[103],"est":[104,178],"designe":[105],"par":[106],"suite":[108],"conequivalence.Les":[112],"speciales":[114],"systeme":[116,140],"-C":[117],"fr":[118],"(":[119],",":[121],"\u038a)":[122],"definies":[123],"dans":[124,201],"1'Etude":[125],"(dites":[126],"equivalences":[127],"elementaires),":[128],"peuvent":[129],"etre":[130],"prises":[131],"forme":[134],"normale":[135],"factuelles":[138],"donne":[141],"(soit":[142],"sont":[146,152,188],"pas":[147],"tautologies":[148],"elles-memes":[149],"ni":[150],"leurs":[153],"negations).0.2":[154],"Notons":[155],"systemes":[158],"similaires":[159],"ont":[160],"deja":[161],"attire":[162],"1'attention":[163],"Lesniewski":[165],"(1923),":[166],"Rasiowa":[168],"(1947),":[169],"Mostowski":[171],"(1948)":[172],"Church":[175],"(1951).Mihailescu":[176],"s'en":[177],"occupe":[179],"systematiquement":[180],"(1937":[181],"1969).Les":[183],"etudes":[184],"auteurs":[186],"mentionnes":[187],"cependant":[189],"orientees":[190],"plut\u03cct":[191],"vers":[192],"aspects":[194],"deductifs.Lesniewski":[195],"n'employait":[196],"(selon":[197],"[2]":[198],"[3])":[200],"ses":[202,233],"considerations":[203],"*J'ai":[206],"plusieurs":[207],"fois":[208],"discute":[209],"contenu":[211],"cette":[213],"Etude":[214],"avec":[215],"M.":[216],"Petr":[217],"Hajek":[218],"l'Institut":[220],"Mathematiques":[222],"CSAV":[225],"a.":[226],"Prague":[227],"je":[229],"lui":[230],"remercie":[231],"observations":[234],"importantes.":[235]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}