{"id":"https://openalex.org/W2129336437","doi":"https://doi.org/10.2307/2267650","title":"The Sheffer functions of 3-valued logic","display_name":"The Sheffer functions of 3-valued logic","publication_year":1954,"publication_date":"1954-03-01","ids":{"openalex":"https://openalex.org/W2129336437","doi":"https://doi.org/10.2307/2267650","mag":"2129336437"},"language":"en","primary_location":{"id":"doi:10.2307/2267650","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2267650","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic 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/A5012663066","display_name":"Norman M. Martin","orcid":null},"institutions":[{"id":"https://openalex.org/I138216421","display_name":"Eastern Michigan University","ror":"https://ror.org/02ehshm78","country_code":"US","type":"education","lineage":["https://openalex.org/I138216421"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Norman M. Martin","raw_affiliation_strings":["Willow Run Research Center, Ypsilanti, Michigan, U.S.A"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Willow Run Research Center, Ypsilanti, Michigan, U.S.A","institution_ids":["https://openalex.org/I138216421"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5012663066"],"corresponding_institution_ids":["https://openalex.org/I138216421"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":37,"citation_normalized_percentile":{"value":0.2382134,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"19","issue":"1","first_page":"45","last_page":"51"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9976999759674072,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9976999759674072,"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"}},{"id":"https://openalex.org/T14500","display_name":"Advanced Mathematical Theories","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/2610","display_name":"Mathematical Physics"},"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/T12504","display_name":"Mathematics and Applications","score":0.9847000241279602,"subfield":{"id":"https://openalex.org/subfields/2608","display_name":"Geometry and Topology"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/truth-function","display_name":"Truth function","score":0.7739665508270264},{"id":"https://openalex.org/keywords/disjoint-sets","display_name":"Disjoint sets","score":0.6572237014770508},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6368473172187805},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5418111085891724},{"id":"https://openalex.org/keywords/truth-value","display_name":"Truth value","score":0.5253409743309021},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.5128195881843567},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.49653059244155884},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.43297046422958374},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42016297578811646},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4017847776412964},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.19021567702293396},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11855638027191162}],"concepts":[{"id":"https://openalex.org/C37754750","wikidata":"https://www.wikidata.org/wiki/Q913874","display_name":"Truth function","level":3,"score":0.7739665508270264},{"id":"https://openalex.org/C45340560","wikidata":"https://www.wikidata.org/wiki/Q215382","display_name":"Disjoint sets","level":2,"score":0.6572237014770508},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6368473172187805},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5418111085891724},{"id":"https://openalex.org/C46274116","wikidata":"https://www.wikidata.org/wiki/Q185521","display_name":"Truth value","level":2,"score":0.5253409743309021},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.5128195881843567},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.49653059244155884},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.43297046422958374},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42016297578811646},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4017847776412964},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.19021567702293396},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11855638027191162},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","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},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2307/2267650","is_oa":false,"landing_page_url":"https://doi.org/10.2307/2267650","pdf_url":null,"source":{"id":"https://openalex.org/S177675236","display_name":"Journal of Symbolic Logic","issn_l":"0022-4812","issn":["0022-4812","1943-5886"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Symbolic Logic","raw_type":"journal-article"},{"id":"pmh:oai:CULeuclid:euclid.jsl/1183731786","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.jsl/1183731786","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":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7599999904632568}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":8,"referenced_works":["https://openalex.org/W1022284923","https://openalex.org/W2052054484","https://openalex.org/W2082949635","https://openalex.org/W2088048005","https://openalex.org/W2318612879","https://openalex.org/W2319549361","https://openalex.org/W2323877322","https://openalex.org/W2324799691"],"related_works":["https://openalex.org/W2368297593","https://openalex.org/W2128733124","https://openalex.org/W2384737896","https://openalex.org/W2312968448","https://openalex.org/W2363368467","https://openalex.org/W2348444528","https://openalex.org/W2360354682","https://openalex.org/W2559789130","https://openalex.org/W2460545934","https://openalex.org/W2378000114"],"abstract_inverted_index":{"In":[0,39],"previous":[1],"papers,":[2],"Post,":[3],"Webb,":[4],"G\u00f6tlind":[5],"and":[6,55,142,182,184,226],"the":[7,32,40,59,91,94,102,105,109,169,189,201,253,307,318,330],"present":[8,41],"author":[9],"have":[10],"described":[11],"some":[12,46,71],"Sheffer":[13,34,49,60,132],"functions":[14,35,50,61,81,95,103,113],"(in":[15],"Swift's":[16],"terminology,":[17],"\u201cindependent":[18],"binary":[19,193],"generators\u201d)":[20],"in":[21,51,82],"m":[22,52,83,115,152,174,324],"-valued":[23,53,84,116],"logic.":[24,38,64,117],"Professor":[25],"J.":[26],"Dean":[27],"Swift":[28],"has":[29,306],"recently":[30],"isolated":[31],"symmetric":[33],"of":[36,48,58,62,80,93,104,111,114,168,188,317],"3-valued":[37,63],"paper,":[42],"we":[43,66,68,74,154],"will":[44,69,75,155,299],"prove":[45],"properties":[47],"logic":[54,85],"isolate":[56],"all":[57,112],"Before":[65],"proceed":[67],"define":[70],"terms":[72],"which":[73,96,327],"find":[76],"convenient.":[77],"A":[78,118,131,192],"set":[79,92,106,110,127],"is":[86,107,120,128,134,165,314],"functionally":[87,121,129,137],"complete":[88,122,138],",":[89,123,149,208,218,258,268,311],"if":[90,124,163,209,259,312],"can":[97],"be":[98],"defined":[99],"explicitly":[100],"from":[101],"exactly":[108],"function":[119,133,194,247],"its":[125],"unit":[126],"complete.":[130],"a":[135,166,205,315],"two-place":[136],"function.":[139],"If":[140],"i":[141,148,157,183,235,273,292],"j":[143,150,159,185,222,287],"are":[144,186],"truth":[145,170,212,262,319],"values":[146,171,213,263,320],"(1":[147],"\u2264":[151],"),":[153,162,230,283],"say":[156,300],"~":[158,221,237,275,286,293],"(":[160,196,223,228,233,239,243,249,271,277,281,288,295,302],"D":[161,164,207,224,229,244,257,282,289,296],"decomposition":[167,206,316],"1,":[172],"\u2026,":[173],"into":[175,321],"2":[176],"or":[177,291],"more":[178],"disjoint":[179],"non-empty":[180],"classes":[181,325],"elements":[187],"same":[190],"class.":[191],"f":[195,232,238,248,270,276,301],"p,":[197,303],"q":[198,304],")":[199,225,236,242,251,274,280,290,305],"satisfies":[200,252,329],"substitution":[202,309,331],"law":[203,255],"for":[204,210,256,260,326],"any":[211,261],"h,":[214,234,264,272],"i,":[215,265],"j,":[216,240,266,278],"k":[217,241,267,279,294],"whenever":[219,269],"h":[220,285],"i~k":[227],"then":[231,284],").":[245,297],"The":[246],"p,q":[250],"co-substitution":[254],"We":[298],"proper":[308],"property":[310],"there":[313],"less":[322],"than":[323],"it":[328],"law.":[332]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}