{"id":"https://openalex.org/W2078212736","doi":"https://doi.org/10.1007/s11225-005-8476-5","title":"Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation","display_name":"Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation","publication_year":2005,"publication_date":"2005-08-01","ids":{"openalex":"https://openalex.org/W2078212736","doi":"https://doi.org/10.1007/s11225-005-8476-5","mag":"2078212736"},"language":"en","primary_location":{"id":"doi:10.1007/s11225-005-8476-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-005-8476-5","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/A5076246494","display_name":"Dimiter Vakarelov","orcid":null},"institutions":[{"id":"https://openalex.org/I58918642","display_name":"Sofia University \"St. Kliment Ohridski\"","ror":"https://ror.org/02jv3k292","country_code":"BG","type":"education","lineage":["https://openalex.org/I58918642"]}],"countries":["BG"],"is_corresponding":true,"raw_author_name":"Dimiter Vakarelov","raw_affiliation_strings":["Department of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science, Sofia University, blvd James Bouchier 5, 1126, Sofia, Bulgaria","Department of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science, Sofia University, Sofia, Bulgaria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science, Sofia University, blvd James Bouchier 5, 1126, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]},{"raw_affiliation_string":"Department of Mathematical Logic with Laboratory for Applied Logic Faculty of Mathematics and Computer Science, Sofia University, Sofia, Bulgaria","institution_ids":["https://openalex.org/I58918642"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076246494"],"corresponding_institution_ids":["https://openalex.org/I58918642"],"apc_list":{"value":2890,"currency":"USD","value_usd":2890},"apc_paid":null,"fwci":1.916,"has_fulltext":false,"cited_by_count":23,"citation_normalized_percentile":{"value":0.8662471,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"80","issue":"2-3","first_page":"393","last_page":"430"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9997000098228455,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9947999715805054,"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9945999979972839,"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/intuitionistic-logic","display_name":"Intuitionistic logic","score":0.7935277223587036},{"id":"https://openalex.org/keywords/negation","display_name":"Negation","score":0.7222087383270264},{"id":"https://openalex.org/keywords/many-valued-logic","display_name":"Many-valued logic","score":0.608808696269989},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5992458462715149},{"id":"https://openalex.org/keywords/autoepistemic-logic","display_name":"Autoepistemic logic","score":0.5932167172431946},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.5416669249534607},{"id":"https://openalex.org/keywords/counterexample","display_name":"Counterexample","score":0.5382522940635681},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.5349987745285034},{"id":"https://openalex.org/keywords/negation-as-failure","display_name":"Negation as failure","score":0.5347890257835388},{"id":"https://openalex.org/keywords/predicate-functor-logic","display_name":"Predicate functor logic","score":0.5014331340789795},{"id":"https://openalex.org/keywords/kripke-semantics","display_name":"Kripke semantics","score":0.45934635400772095},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.40022820234298706},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3766343295574188},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.3061724305152893},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2655929923057556},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2247956097126007},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.17312610149383545},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.15210798382759094},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13847589492797852}],"concepts":[{"id":"https://openalex.org/C178421362","wikidata":"https://www.wikidata.org/wiki/Q176786","display_name":"Intuitionistic logic","level":3,"score":0.7935277223587036},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.7222087383270264},{"id":"https://openalex.org/C150889026","wikidata":"https://www.wikidata.org/wiki/Q185502","display_name":"Many-valued logic","level":3,"score":0.608808696269989},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5992458462715149},{"id":"https://openalex.org/C3845977","wikidata":"https://www.wikidata.org/wiki/Q4826262","display_name":"Autoepistemic logic","level":4,"score":0.5932167172431946},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.5416669249534607},{"id":"https://openalex.org/C162838799","wikidata":"https://www.wikidata.org/wiki/Q596077","display_name":"Counterexample","level":2,"score":0.5382522940635681},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.5349987745285034},{"id":"https://openalex.org/C194146651","wikidata":"https://www.wikidata.org/wiki/Q2119400","display_name":"Negation as failure","level":5,"score":0.5347890257835388},{"id":"https://openalex.org/C2039508","wikidata":"https://www.wikidata.org/wiki/Q7239631","display_name":"Predicate functor logic","level":5,"score":0.5014331340789795},{"id":"https://openalex.org/C160131679","wikidata":"https://www.wikidata.org/wiki/Q2462350","display_name":"Kripke semantics","level":4,"score":0.45934635400772095},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.40022820234298706},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3766343295574188},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.3061724305152893},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2655929923057556},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2247956097126007},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.17312610149383545},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.15210798382759094},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13847589492797852}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s11225-005-8476-5","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s11225-005-8476-5","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":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W641245508","https://openalex.org/W1418997516","https://openalex.org/W1519478560","https://openalex.org/W1526228869","https://openalex.org/W1971463464","https://openalex.org/W1987794025","https://openalex.org/W2001805670","https://openalex.org/W2007838222","https://openalex.org/W2027379370","https://openalex.org/W2031598858","https://openalex.org/W2039232530","https://openalex.org/W2041418362","https://openalex.org/W2048470700","https://openalex.org/W2051516080","https://openalex.org/W2053168571","https://openalex.org/W2074295369","https://openalex.org/W2084752015","https://openalex.org/W2498884472","https://openalex.org/W2619231721","https://openalex.org/W3128384527","https://openalex.org/W4245674526","https://openalex.org/W4297918568","https://openalex.org/W6631442648","https://openalex.org/W6686942326"],"related_works":["https://openalex.org/W3196497357","https://openalex.org/W134813623","https://openalex.org/W2033995545","https://openalex.org/W2113042118","https://openalex.org/W2055558461","https://openalex.org/W2166655407","https://openalex.org/W91200808","https://openalex.org/W1550837705","https://openalex.org/W2078212736","https://openalex.org/W189555107"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}