{"id":"https://openalex.org/W1558782985","doi":"https://doi.org/10.1023/a:1005207512630","title":"A Negationless Interpretation of Intuitionistic Theories. II","display_name":"A Negationless Interpretation of Intuitionistic Theories. II","publication_year":2000,"publication_date":"2000-07-01","ids":{"openalex":"https://openalex.org/W1558782985","doi":"https://doi.org/10.1023/a:1005207512630","mag":"1558782985"},"language":"en","primary_location":{"id":"doi:10.1023/a:1005207512630","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1005207512630","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","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/A5063197310","display_name":"Victor N. Krivtsov","orcid":null},"institutions":[{"id":"https://openalex.org/I19880235","display_name":"Lomonosov Moscow State University","ror":"https://ror.org/010pmpe69","country_code":"RU","type":"education","lineage":["https://openalex.org/I19880235"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Victor N. Krivtsov","raw_affiliation_strings":["Department of Mathematical Logic Faculty of Mechanics and Mathematics, Moscow State University Vorob'evy Gory, 119899, Moscow, Russia","Department of Mathematical Logic Faculty of Mechanics and Mathematics, Moscow State University Vorob'evy Gory, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic Faculty of Mechanics and Mathematics, Moscow State University Vorob'evy Gory, 119899, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]},{"raw_affiliation_string":"Department of Mathematical Logic Faculty of Mechanics and Mathematics, Moscow State University Vorob'evy Gory, Moscow, Russia","institution_ids":["https://openalex.org/I19880235"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5063197310"],"corresponding_institution_ids":["https://openalex.org/I19880235"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.07782546,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"65","issue":"2","first_page":"155","last_page":"179"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.6248000264167786,"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.6248000264167786,"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.0885000005364418,"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/T11151","display_name":"Advanced Topology and Set Theory","score":0.07039999961853027,"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/computational-linguistics","display_name":"Computational linguistics","score":0.6180841326713562},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3936540484428406},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.37402454018592834},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3628876209259033},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.3254125118255615}],"concepts":[{"id":"https://openalex.org/C155092808","wikidata":"https://www.wikidata.org/wiki/Q182557","display_name":"Computational linguistics","level":2,"score":0.6180841326713562},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3936540484428406},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.37402454018592834},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3628876209259033},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.3254125118255615}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1023/a:1005207512630","is_oa":false,"landing_page_url":"https://doi.org/10.1023/a:1005207512630","pdf_url":null,"source":{"id":"https://openalex.org/S30880287","display_name":"Studia Logica","issn_l":"0039-3215","issn":["0039-3215","1572-8730"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Studia Logica","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W60489380","https://openalex.org/W595873107","https://openalex.org/W640364227","https://openalex.org/W1488538795","https://openalex.org/W1499154644","https://openalex.org/W1525431708","https://openalex.org/W1557413548","https://openalex.org/W1606594942","https://openalex.org/W1608607427","https://openalex.org/W1971012672","https://openalex.org/W1977662840","https://openalex.org/W1978232803","https://openalex.org/W1983097969","https://openalex.org/W2021318707","https://openalex.org/W2031735686","https://openalex.org/W2067914884","https://openalex.org/W2068222657","https://openalex.org/W2084915597","https://openalex.org/W2089869743","https://openalex.org/W2132936486","https://openalex.org/W2326620404","https://openalex.org/W2490075275","https://openalex.org/W2798718690","https://openalex.org/W2909992593","https://openalex.org/W3039529476","https://openalex.org/W3163499847","https://openalex.org/W3200285184","https://openalex.org/W4233280389","https://openalex.org/W4240917076","https://openalex.org/W4243996142","https://openalex.org/W4285719527","https://openalex.org/W6636254800","https://openalex.org/W6680165764"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2042127053","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":null,"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":"2016-06-24T00:00:00"}