{"id":"https://openalex.org/W2058072553","doi":"https://doi.org/10.1002/malq.19950410409","title":"Intuitionistic \u03f5\u2010 and \u03c4\u2010calculi","display_name":"Intuitionistic \u03f5\u2010 and \u03c4\u2010calculi","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W2058072553","doi":"https://doi.org/10.1002/malq.19950410409","mag":"2058072553"},"language":"en","primary_location":{"id":"doi:10.1002/malq.19950410409","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410409","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","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/A5110611976","display_name":"David DeVidi","orcid":null},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]},{"id":"https://openalex.org/I2800643029","display_name":"Association for Symbolic Logic","ror":"https://ror.org/00baryp08","country_code":"US","type":"other","lineage":["https://openalex.org/I2800643029"]}],"countries":["CA","US"],"is_corresponding":true,"raw_author_name":"David Devidi","raw_affiliation_strings":["Department of Philosophy, University of Waterloo, Waterloo, Canada N2L 3G1","I am grateful to J OHN B ELL for introducing me to the \u03b5-calculus and for many stimulating discussions on the topic of this paper, and to the Social Sciences and Humanities Research Council of Canada for financial support during its preparation. Some of the results here first appeared in [8]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Philosophy, University of Waterloo, Waterloo, Canada N2L 3G1","institution_ids":["https://openalex.org/I151746483"]},{"raw_affiliation_string":"I am grateful to J OHN B ELL for introducing me to the \u03b5-calculus and for many stimulating discussions on the topic of this paper, and to the Social Sciences and Humanities Research Council of Canada for financial support during its preparation. Some of the results here first appeared in [8]","institution_ids":["https://openalex.org/I2800643029"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5110611976"],"corresponding_institution_ids":["https://openalex.org/I151746483","https://openalex.org/I2800643029"],"apc_list":{"value":2630,"currency":"USD","value_usd":2630},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.14203948,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"41","issue":"4","first_page":"523","last_page":"546"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.996399998664856,"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.996399998664856,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9761000275611877,"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.9686999917030334,"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/extensionality","display_name":"Extensionality","score":0.8950470089912415},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6730687022209167},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.6105443835258484},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.5851927995681763},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.5048616528511047},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.4937053620815277},{"id":"https://openalex.org/keywords/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.4715718626976013},{"id":"https://openalex.org/keywords/predicate","display_name":"Predicate (mathematical logic)","score":0.42829740047454834},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4207104444503784},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.34357550740242004},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2927163243293762},{"id":"https://openalex.org/keywords/linear-logic","display_name":"Linear logic","score":0.27124887704849243},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.21269097924232483},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12100926041603088}],"concepts":[{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.8950470089912415},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6730687022209167},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.6105443835258484},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.5851927995681763},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.5048616528511047},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.4937053620815277},{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.4715718626976013},{"id":"https://openalex.org/C140146324","wikidata":"https://www.wikidata.org/wiki/Q1144319","display_name":"Predicate (mathematical logic)","level":2,"score":0.42829740047454834},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4207104444503784},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.34357550740242004},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2927163243293762},{"id":"https://openalex.org/C28077239","wikidata":"https://www.wikidata.org/wiki/Q841728","display_name":"Linear logic","level":2,"score":0.27124887704849243},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.21269097924232483},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12100926041603088},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/malq.19950410409","is_oa":false,"landing_page_url":"https://doi.org/10.1002/malq.19950410409","pdf_url":null,"source":{"id":"https://openalex.org/S172351290","display_name":"Mathematical logic quarterly","issn_l":"0044-3050","issn":["0044-3050","0942-5616","1521-3870"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Logic Quarterly","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W25183180","https://openalex.org/W308290463","https://openalex.org/W405238731","https://openalex.org/W638986915","https://openalex.org/W1495726655","https://openalex.org/W1968900240","https://openalex.org/W1970249071","https://openalex.org/W2000295225","https://openalex.org/W2070231112","https://openalex.org/W2120935172","https://openalex.org/W2190514756","https://openalex.org/W2587962973"],"related_works":["https://openalex.org/W1973000567","https://openalex.org/W1559970946","https://openalex.org/W206478063","https://openalex.org/W2498166085","https://openalex.org/W1487998695","https://openalex.org/W4387560405","https://openalex.org/W2922343235","https://openalex.org/W2996400411","https://openalex.org/W4206575499","https://openalex.org/W2504487237"],"abstract_inverted_index":{"Abstract":[0],"There":[1],"are":[2,48,102,114],"several":[3,34,108],"open":[4],"problems":[5],"in":[6,50,59,70,111,124],"the":[7,10,23,39,65,80,83,97,105,120,125],"study":[8],"of":[9,17,35,85,96,99,107,119],"calculi":[11,47],"which":[12,55,73],"result":[13],"from":[14],"adding":[15],"either":[16,86,112],"Hilbert's":[18],"\u03f5\u2010":[19,66],"or":[20,67],"\u03c4\u2010operators":[21],"to":[22,33,63,88],"first":[24,40],"order":[25],"intuitionistic":[26,89],"predicate":[27],"calculus.":[28],"This":[29],"paper":[30],"provides":[31],"answers":[32],"them.":[36],"In":[37],"particular,":[38],"complete":[41],"and":[42,69],"sound":[43],"semantics":[44,121],"for":[45],"these":[46],"presented,":[49],"both":[51],"a":[52,60,71],"\u201cquasi\u2010extensional\u201d":[53],"version":[54],"uses":[56],"choice":[57],"functions":[58],"straightforward":[61],"way":[62],"interpret":[64],"\u03c4\u2010terms,":[68],"form":[72],"does":[74],"not":[75],"require":[76],"extensionality":[77],"assumptions.":[78],"Unlike":[79],"classical":[81],"case,":[82],"addition":[84,98],"operator":[87,101],"logic":[90],"is":[91],"non\u2010conservative.":[92],"Several":[93],"interesting":[94],"consequences":[95],"each":[100],"proved.":[103],"Finally,":[104],"independence":[106],"other":[109],"schemes":[110],"calculus":[113],"also":[115],"proved,":[116],"making":[117],"use":[118],"supplied":[122],"earlier":[123],"paper.":[126]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}