{"id":"https://openalex.org/W2031507982","doi":"https://doi.org/10.1007/bf00370182","title":"The disjunction property of intermediate propositional logics","display_name":"The disjunction property of intermediate propositional logics","publication_year":1991,"publication_date":"1991-06-01","ids":{"openalex":"https://openalex.org/W2031507982","doi":"https://doi.org/10.1007/bf00370182","mag":"2031507982"},"language":"en","primary_location":{"id":"doi:10.1007/bf00370182","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370182","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/A5020429625","display_name":"Alexander Chagrov","orcid":null},"institutions":[{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I2799967260","display_name":"Tver State University","ror":"https://ror.org/03c8qq315","country_code":"RU","type":"education","lineage":["https://openalex.org/I2799967260"]},{"id":"https://openalex.org/I151823869","display_name":"National Academy of Sciences of Belarus","ror":"https://ror.org/02j8pe645","country_code":"BY","type":"government","lineage":["https://openalex.org/I151823869"]},{"id":"https://openalex.org/I4210090482","display_name":"SR Research (Canada)","ror":"https://ror.org/00e7yhp68","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210090482"]}],"countries":["BY","CA","RU"],"is_corresponding":true,"raw_author_name":"Alexander Chagrov","raw_affiliation_strings":["125047, Moscow, USSR","Institute of Applied Mathematics, USSR Academy of Sciences, Miusskaya Sq. 4, USSR","Tver State University, Zhelyabova 33, 170013, Tver, USSR","Tver State University, Tver, USSR","Institute of Applied Mathematics, USSR Academy of Sciences, USSR"],"affiliations":[{"raw_affiliation_string":"125047, Moscow, USSR","institution_ids":["https://openalex.org/I4210090482"]},{"raw_affiliation_string":"Institute of Applied Mathematics, USSR Academy of Sciences, Miusskaya Sq. 4, USSR","institution_ids":["https://openalex.org/I151823869"]},{"raw_affiliation_string":"Tver State University, Zhelyabova 33, 170013, Tver, USSR","institution_ids":["https://openalex.org/I2799967260"]},{"raw_affiliation_string":"Tver State University, Tver, USSR","institution_ids":["https://openalex.org/I2799967260"]},{"raw_affiliation_string":"Institute of Applied Mathematics, USSR Academy of Sciences, USSR","institution_ids":["https://openalex.org/I1313323035"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109169058","display_name":"M. V. Zakhar'yashchev","orcid":null},"institutions":[{"id":"https://openalex.org/I151823869","display_name":"National Academy of Sciences of Belarus","ror":"https://ror.org/02j8pe645","country_code":"BY","type":"government","lineage":["https://openalex.org/I151823869"]},{"id":"https://openalex.org/I2799967260","display_name":"Tver State University","ror":"https://ror.org/03c8qq315","country_code":"RU","type":"education","lineage":["https://openalex.org/I2799967260"]},{"id":"https://openalex.org/I1313323035","display_name":"Russian Academy of Sciences","ror":"https://ror.org/05qrfxd25","country_code":"RU","type":"funder","lineage":["https://openalex.org/I1313323035"]},{"id":"https://openalex.org/I4210090482","display_name":"SR Research (Canada)","ror":"https://ror.org/00e7yhp68","country_code":"CA","type":"company","lineage":["https://openalex.org/I4210090482"]}],"countries":["BY","CA","RU"],"is_corresponding":false,"raw_author_name":"Michael Zakharyashchev","raw_affiliation_strings":["125047, Moscow, USSR","Institute of Applied Mathematics, USSR Academy of Sciences, Miusskaya Sq. 4, USSR","Tver State University, Zhelyabova 33, 170013, Tver, USSR","Tver State University, Tver, USSR","Institute of Applied Mathematics, USSR Academy of Sciences, USSR"],"affiliations":[{"raw_affiliation_string":"125047, Moscow, USSR","institution_ids":["https://openalex.org/I4210090482"]},{"raw_affiliation_string":"Institute of Applied Mathematics, USSR Academy of Sciences, Miusskaya Sq. 4, USSR","institution_ids":["https://openalex.org/I151823869"]},{"raw_affiliation_string":"Tver State University, Zhelyabova 33, 170013, Tver, USSR","institution_ids":["https://openalex.org/I2799967260"]},{"raw_affiliation_string":"Tver State University, Tver, USSR","institution_ids":["https://openalex.org/I2799967260"]},{"raw_affiliation_string":"Institute of Applied Mathematics, USSR Academy of Sciences, USSR","institution_ids":["https://openalex.org/I1313323035"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5020429625"],"corresponding_institution_ids":["https://openalex.org/I1313323035","https://openalex.org/I151823869","https://openalex.org/I2799967260","https://openalex.org/I4210090482"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":2.0526,"has_fulltext":false,"cited_by_count":40,"citation_normalized_percentile":{"value":0.86364786,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"50","issue":"2","first_page":"189","last_page":"216"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9994999766349792,"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.9994999766349792,"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.9991999864578247,"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.9979000091552734,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.6634888648986816},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.6590194702148438},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.5900174379348755},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5448477268218994},{"id":"https://openalex.org/keywords/monoidal-t-norm-logic","display_name":"Monoidal t-norm logic","score":0.5142330527305603},{"id":"https://openalex.org/keywords/modal","display_name":"Modal","score":0.5028099417686462},{"id":"https://openalex.org/keywords/modal-logic","display_name":"Modal logic","score":0.4647369384765625},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.43214505910873413},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.39299866557121277},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3349137604236603},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3328006863594055},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3152003288269043},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.2963823080062866},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.20800498127937317},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.1693713665008545},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.15186631679534912},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.11347123980522156},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.06680965423583984}],"concepts":[{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.6634888648986816},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.6590194702148438},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5900174379348755},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5448477268218994},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.5142330527305603},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.5028099417686462},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.4647369384765625},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.43214505910873413},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.39299866557121277},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3349137604236603},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3328006863594055},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3152003288269043},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2963823080062866},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.20800498127937317},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.1693713665008545},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.15186631679534912},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.11347123980522156},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.06680965423583984},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.0},{"id":"https://openalex.org/C188027245","wikidata":"https://www.wikidata.org/wiki/Q750446","display_name":"Polymer chemistry","level":1,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"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/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C1883856","wikidata":"https://www.wikidata.org/wiki/Q3407463","display_name":"Fuzzy number","level":4,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/bf00370182","is_oa":false,"landing_page_url":"https://doi.org/10.1007/bf00370182","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"},{"id":"pmh:oai:eprints.bbk.ac.uk.oai2:46722","is_oa":false,"landing_page_url":"https://eprints.bbk.ac.uk/id/eprint/46722/","pdf_url":null,"source":{"id":"https://openalex.org/S4306400466","display_name":"BIROn (Birkbeck, University of London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98259816","host_organization_name":"Birkbeck, University of London","host_organization_lineage":["https://openalex.org/I98259816"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6499999761581421,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":56,"referenced_works":["https://openalex.org/W409914996","https://openalex.org/W1195330553","https://openalex.org/W1527720545","https://openalex.org/W1579494268","https://openalex.org/W1829103345","https://openalex.org/W1967618263","https://openalex.org/W1968354991","https://openalex.org/W1968663039","https://openalex.org/W1971889207","https://openalex.org/W1973539826","https://openalex.org/W1978576229","https://openalex.org/W1989601351","https://openalex.org/W1992056012","https://openalex.org/W1994344534","https://openalex.org/W1995675761","https://openalex.org/W2002937553","https://openalex.org/W2007371755","https://openalex.org/W2007570079","https://openalex.org/W2009126377","https://openalex.org/W2012424011","https://openalex.org/W2031507982","https://openalex.org/W2036307828","https://openalex.org/W2041053214","https://openalex.org/W2043566933","https://openalex.org/W2054049955","https://openalex.org/W2056475779","https://openalex.org/W2056531162","https://openalex.org/W2059933820","https://openalex.org/W2064257235","https://openalex.org/W2067706294","https://openalex.org/W2067884384","https://openalex.org/W2069450525","https://openalex.org/W2073285694","https://openalex.org/W2078643952","https://openalex.org/W2081524757","https://openalex.org/W2084684966","https://openalex.org/W2085411767","https://openalex.org/W2089947206","https://openalex.org/W2090086476","https://openalex.org/W2091330336","https://openalex.org/W2106716518","https://openalex.org/W2137410044","https://openalex.org/W2155088962","https://openalex.org/W2274975500","https://openalex.org/W2284457453","https://openalex.org/W2335099172","https://openalex.org/W2418139482","https://openalex.org/W2592837392","https://openalex.org/W2764508251","https://openalex.org/W4238292764","https://openalex.org/W4245085453","https://openalex.org/W6600759635","https://openalex.org/W6604730394","https://openalex.org/W6606768737","https://openalex.org/W6636135373","https://openalex.org/W6814776409"],"related_works":["https://openalex.org/W1545911618","https://openalex.org/W1608648242","https://openalex.org/W2156897951","https://openalex.org/W4287372193","https://openalex.org/W2138558100","https://openalex.org/W2949968785","https://openalex.org/W1535158818","https://openalex.org/W4224275486","https://openalex.org/W2034594774","https://openalex.org/W4377031878"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}