{"id":"https://openalex.org/W2068222657","doi":"https://doi.org/10.1305/ndjfl/1093893719","title":"An extension of negationless logic.","display_name":"An extension of negationless logic.","publication_year":1969,"publication_date":"1969-07-01","ids":{"openalex":"https://openalex.org/W2068222657","doi":"https://doi.org/10.1305/ndjfl/1093893719","mag":"2068222657"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093893719","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093893719","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/A5001657961","display_name":"J. Kent Minichiello","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"J. Kent Minichiello","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5001657961"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.13378854,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"10","issue":"3","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5307999849319458,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.5307999849319458,"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.47119998931884766,"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/extension","display_name":"Extension (predicate logic)","score":0.6687452793121338},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4483071565628052},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4215864837169647},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40750056505203247},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.3602901101112366},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.33255907893180847},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.09527570009231567}],"concepts":[{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.6687452793121338},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4483071565628052},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4215864837169647},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40750056505203247},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.3602901101112366},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.33255907893180847},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.09527570009231567},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093893719","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093893719","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/1093893719","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093893719","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":[{"score":0.6000000238418579,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":1,"referenced_works":["https://openalex.org/W595873107"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2911598644","https://openalex.org/W2142036596"],"abstract_inverted_index":{"MINICHIELLO":[0],"\u00a71.":[1],"Nelson":[2,16],"[l]":[3,216],"has":[4],"provided":[5],"a":[6,19,26,60,65,85,142,150,204,229,236,244,254,323,330],"formalization":[7],"of":[8,10,55,133,168,215,232,240,247,265,270,273,281,287,325,333],"part":[9],"Griss'":[11],"negationless":[12],"mathematics":[13],"[2].The":[14],"logic":[15],"devised":[17],"uses":[18],"quantified":[20,27],"implication":[21],"{A":[22],"zSx":[23],"B)":[24],"and":[25,42,105,145,221,242],"disjunction":[28],"(\u03a3lx(A":[29],"h":[30,155],".":[31,32,69,70,77,78,98,99,106,107,156,157,170,171,184,185,198,199,291,299,300,312,313],".,":[33,71,79,100,158,172,292,301,314],"A":[34,67,72,103,109],"n":[35,81,119,160,174,187,192,294,334],"))":[36],"as":[37,39,59,93],"well":[38],"&,":[40],"V,":[41],"3.These":[43],"connectives":[44],"do":[45,161],"not":[46,162,262,308],"exhaust":[47],"the":[48,165,209,213,219,278,306],"possibilities":[49],"for":[50,180,224,277],"rendering":[51],"each":[52,268,285],"provable":[53,61],"sequent":[54,66],"Nelson's":[56,122],"Pi":[57],"system":[58],"formula:":[62],"when":[63],"given":[64],"u":[68,183],"m":[73,110,326],"-\u00bb":[74],"B":[75,80,113,118,293],"l9":[76,97],",":[82,111],"we":[83,217],"lack":[84],"corresponding":[86,279],"closed":[87],"formula":[88,151,286],"to":[89],"be":[90,177,228],"read":[91,178],"negationlessly":[92],"\"for":[94],"all":[95,181],"x":[96,114,154,159,182],"Xk":[101],"if":[102,188,296],"\u03bb":[104],".and":[108],"then":[112,164,249,305],"or":[115,117,197],"...":[116],".\"Further,":[120],"in":[121,137,152,284],"two":[123],"most":[124],"restricted":[125],"predicate":[126],"calculi":[127],"there":[128],"is":[129,141,149,253,275,303,318,322,329],"no":[130],"obvious":[131],"way":[132],"forming":[134],"Griss":[135,166],"negation":[136,167],"several":[138],"variables.If":[139],"\u03a8":[140,235],"distinguishability":[143],"relation":[144],"P(t":[146],"lf":[147],"...,\u00a3\u00bb)":[148],"which":[153,207,259],"occur,":[163],"P{t\u03c7,":[169],"t":[173],")":[175],"should":[176],"((":[179],".,x":[186],"H^i,":[189],"-.":[190],",x":[191],")thenx":[193],"1":[194,196],"\u03a6t":[195],".or":[200],"Xn*U.\"We":[201],"have":[202],"defined":[203],"general":[205],"connective":[206],"provides":[208],"lacking":[210],"notation":[211,214],"[3].Using":[212],"give":[218],"definition":[220],"introduction":[222],"rules":[223,256],"this":[225],"connective.Let":[226],"~x":[227,266,271],"non-empty":[230,245,331],"list":[231,239,246,324,332],"distinct":[233],"variables,":[234],"(possible":[237],"empty)":[238],"formulas,":[241,327,335],"\u03a6":[243],"formulas:":[248],"(\u03a8":[250],"\u038f~X":[251],"\u03a6)":[252],"formula.Introduction":[255],"suitable":[257],"toin":[258],"\u0393":[260],"does":[261],"contain":[263],"any":[264],"free,":[267],"variable":[269,280],"(term":[272],"t)":[274],"free":[276],"\u038a":[282],"(x)":[283],"\u03a0(^),":[288],"^(\u038a)":[289],"(^i(*),":[290],"(x)),":[295],"\u03cal(x)":[297],"{AS),":[298],"4.(0)":[302],"empty":[304],"premise(s)":[307],"involving":[309],"\u03a6(~x)":[310],"(B^),":[311],"J5":[315],"w":[316],"(f))":[317],"(are)":[319],"omitted,":[320],"\u03a0(#)":[321],"\u03a8(x)":[328],"etc.An":[336],"additional":[337],"premise":[338]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}