{"id":"https://openalex.org/W1969421328","doi":"https://doi.org/10.1305/ndjfl/1093636096","title":"The admissibility of $\\gamma$ in ${\\rm R}4$.","display_name":"The admissibility of $\\gamma$ in ${\\rm R}4$.","publication_year":1992,"publication_date":"1992-03-01","ids":{"openalex":"https://openalex.org/W1969421328","doi":"https://doi.org/10.1305/ndjfl/1093636096","mag":"1969421328"},"language":"en","primary_location":{"id":"doi:10.1305/ndjfl/1093636096","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093636096","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/A5041213077","display_name":"Edwin Mares","orcid":"https://orcid.org/0000-0002-7899-1727"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Edwin D. Mares","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5102354497","display_name":"Robert K. Meyer","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Robert K. Meyer","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5041213077"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.11187215,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"33","issue":"2","first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.960099995136261,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11166","display_name":"Analytic Number Theory Research","score":0.960099995136261,"subfield":{"id":"https://openalex.org/subfields/2602","display_name":"Algebra and Number Theory"},"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/T12404","display_name":"Mathematical Approximation and Integration","score":0.9472000002861023,"subfield":{"id":"https://openalex.org/subfields/2612","display_name":"Numerical Analysis"},"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/T11435","display_name":"Polynomial and algebraic computation","score":0.9308000206947327,"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/philosophy","display_name":"Philosophy","score":0.4827272593975067},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.40605902671813965}],"concepts":[{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.4827272593975067},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.40605902671813965}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1305/ndjfl/1093636096","is_oa":false,"landing_page_url":"https://doi.org/10.1305/ndjfl/1093636096","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/1093636096","is_oa":false,"landing_page_url":"http://projecteuclid.org/euclid.ndjfl/1093636096","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":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":2,"referenced_works":["https://openalex.org/W1593617641","https://openalex.org/W2082707306"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","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"],"abstract_inverted_index":{"The":[0],"logic":[1,25],"NR":[2,112,136],"of":[3,35,45,97,135,152,166,176,222,245,248,257,286,289,293,323],"Meyer's":[4,246],"\"Entailment":[5,46],"and":[6,47,87,126,139,178,201,208,309],"relevant":[7,48],"implication\"":[8,49],"is":[9,31,54,68,225,236,306],"extended":[10],"to":[11,22,182,192,216,226,302],"include":[12],"the":[13,24,43,76,81,92,95,116,131,133,145,150,160,174,196,228,265,287,294,313],"axiom":[14,155],"scheme":[15,117,156],"\u03a0":[16],"(A":[17],"vB)->":[18],"(OA":[19,119],"v":[20,120],"\u03a0B)":[21],"create":[23],"R4,":[26],"so":[27],"named":[28],"because":[29,186],"it":[30,163,187],"a":[32,108,183,242,255,268,274,284,303,321],"conservative":[33],"extension":[34],"S4.It":[36],"has":[37,168,188],"been":[38,171,190,214],"an":[39],"open":[40],"problem":[41,63],"since":[42],"writing":[44],"whether":[50],"Ackermann's":[51,202],"rule":[52,203],"y":[53,67,204,235],"admissible":[55,69,218,237],"in":[56,70,199,219,238,296],"R4.In":[57],"this":[58,62,71,123,153,223,279,324],"paper,":[59],"we":[60,232],"close":[61],"by":[64],"proving":[65],"that":[66,147,162,234,262,291,305],"system.In":[72],"[4],":[73],"Meyer":[74,127,140,252],"formulates":[75],"system":[77,89,146,175],"NR,":[78,101],"which":[79],"combines":[80],"axioms":[82,93,134],"governing":[83,94],"implication":[84],"from":[85,99,149],"Anderson":[86],"Belnap's":[88],"R":[90],"with":[91],"behavior":[96],"necessity":[98],"S4.":[100],"however,":[102],"does":[103,113],"not":[104,114,169,189,213],"contain":[105,115],"S4":[106],"on":[107,278],"direct":[109],"translation.For":[110],"example,":[111],"~\u03a0\\(AvB)v":[118],"\u03a0B).To":[121],"overcome":[122],"deficiency,":[124],"Belnap":[125],"have":[128],"suggested":[129,198],"adding":[130],"postulateto":[132],"(see":[137],"Routley":[138],"[6],":[141,200],"p.":[142],"70).We":[143],"call":[144],"results":[148],"addition":[151],"new":[154],"R4":[157,260],"(to":[158],"signify":[159],"fact":[161],"contains":[164],"all":[165],"S4).R4":[167],"yet":[170],"adopted":[172],"as":[173],"modality":[177],"relevance,":[179],"at":[180],"least":[181],"large":[184],"extent,":[185],"shown":[191,215],"be":[193,217,300],"complete":[194],"over":[195],"semantics":[197],"(from":[205],"\\-~A":[206],"vB":[207],"\\-A":[209],"infer":[210],"h#)":[211],"had":[212],"it.The":[220],"purpose":[221],"paper":[224],"remove":[227],"latter":[229],"difficulty.That":[230],"is,":[231],"show":[233],"R4.Our":[239],"argument":[240],"uses":[241],"modified":[243],"version":[244,285],"method":[247,288],"metavaluations":[249],"(following,":[250],"e.g.,":[251],"[5]).We":[253],"build":[254],"structure":[256,298],"regular,":[258,308],"prime":[259],"theories":[261,295],"mimics,":[263],"for":[264,271],"most":[266],"part,":[267],"Kripke":[269],"model":[270],"S4.We":[272],"impose":[273],"binary":[275],"accessibility":[276,315],"relation":[277,316],"structure.We":[280],"then":[281],"show,":[282],"using":[283],"metavaluations,":[290],"each":[292],"our":[297],"can":[299],"reduced":[301,319],"theory":[304],"prime,":[307],"consistent,":[310],"while":[311],"retaining":[312],"same":[314],"between":[317],"these":[318],"theories.As":[320],"corollary":[322],"construc-":[325]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"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"}