{"id":"https://openalex.org/W1524655177","doi":"https://doi.org/10.2307/2964334","title":"Concerning formulas of the types A\u2192B \u03bd C,A \u2192(Ex)B(x) in intuitionistic formal systems","display_name":"Concerning formulas of the types A\u2192B \u03bd C,A \u2192(Ex)B(x) in intuitionistic formal systems","publication_year":1960,"publication_date":"1960-03-01","ids":{"openalex":"https://openalex.org/W1524655177","doi":"https://doi.org/10.2307/2964334","mag":"1524655177"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2964334","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":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-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/A5026148743","display_name":"R. Harrop","orcid":null},"institutions":[{"id":"https://openalex.org/I190082696","display_name":"Durham University","ror":"https://ror.org/01v29qb04","country_code":"GB","type":"education","lineage":["https://openalex.org/I190082696"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Ronald Harrop","raw_affiliation_strings":["University of Durham Newcastle upon Tyne"],"affiliations":[{"raw_affiliation_string":"University of Durham Newcastle upon Tyne","institution_ids":["https://openalex.org/I190082696"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5026148743"],"corresponding_institution_ids":["https://openalex.org/I190082696"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":128,"citation_normalized_percentile":{"value":0.968466,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"25","issue":"1","first_page":"27","last_page":"32"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9998,"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.9998,"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.9985,"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/T12002","display_name":"Computability, Logic, AI Algorithms","score":0.9929,"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/modus-ponens","display_name":"Modus ponens","score":0.93129814}],"concepts":[{"id":"https://openalex.org/C193885149","wikidata":"https://www.wikidata.org/wiki/Q655742","display_name":"Modus ponens","level":3,"score":0.93129814},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7814551},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.51937824},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.46739966},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.4421895},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.3822351},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.33776903},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.15230465},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1255332},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.08592272},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","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/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.2307/2964334","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":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.66,"id":"https://metadata.un.org/sdg/4","display_name":"Quality education"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":3,"referenced_works":["https://openalex.org/W1483568252","https://openalex.org/W2007371755","https://openalex.org/W3046397786"],"related_works":["https://openalex.org/W4246940373","https://openalex.org/W2615257120","https://openalex.org/W2611198522","https://openalex.org/W2389239788","https://openalex.org/W2288267523","https://openalex.org/W2185713319","https://openalex.org/W2166691384","https://openalex.org/W2056158647","https://openalex.org/W2029563506","https://openalex.org/W1588067599"],"abstract_inverted_index":{"In":[0],"a":[1,12,38,80,118],"previous":[2],"paper":[3],"[1]":[4],"it":[5,139],"was":[6,65,114],"proved,":[7],"among":[8],"other":[9],"results,":[10],"that":[11,37,99],"closed":[13,39,72,109,125],"disjunction":[14],"of":[15,31,41,63,102,105,120,133],"intuitionistic":[16],"elementary":[17],"number":[18],"theory":[19],"N":[20,48,76,82,106],"can":[21],"be":[22],"proved":[23],"if":[24,27,49,52],"and":[25,36,50,129],"only":[26,51],"at":[28],"least":[29],"one":[30],"its":[32],"disjunctands":[33],"is":[34,45,54,77,88,108,124,140],"provable":[35,46,55,103],"formula":[40],"the":[42,86,94,100,121,134],"type":[43],"(Ex)B(x)":[44],"in":[47,93,97],"B(n)":[53],"for":[56,84],"some":[57],"numeral":[58],"n":[59],".":[60],"The":[61,90],"method":[62],"proof":[64,95],"to":[66,79],"show":[67],"that,":[68],"as":[69,71],"far":[70],"formulas":[73,104],"are":[74],"concerned,":[75],"equivalent":[78],"calculus":[81],"1":[83,107],"which":[85,123,138],"result":[87],"immediate.":[89],"main":[91],"step":[92],"consisted":[96],"showing":[98],"set":[101,122],"under":[110,126],"modus":[111,127],"ponens.":[112],"This":[113],"done":[115],"by":[116],"obtaining":[117],"subset":[119],"ponens":[128],"contains":[130],"all":[131],"members":[132],"original":[135],"set,":[136],"with":[137],"therefore":[141],"identical.":[142]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1524655177","counts_by_year":[{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2017,"cited_by_count":6},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2025-01-06T09:00:20.897059","created_date":"2016-06-24"}