{"id":"https://openalex.org/W2610226001","doi":"https://doi.org/10.1007/s00500-017-2628-1","title":"Reduced axioms for the propositional logics induced by basic algebras","display_name":"Reduced axioms for the propositional logics induced by basic algebras","publication_year":2017,"publication_date":"2017-05-05","ids":{"openalex":"https://openalex.org/W2610226001","doi":"https://doi.org/10.1007/s00500-017-2628-1","mag":"2610226001"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-017-2628-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-017-2628-1","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"Soft Computing","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/A5005373819","display_name":"Ivan Chajda","orcid":"https://orcid.org/0000-0003-3840-3879"},"institutions":[{"id":"https://openalex.org/I70703428","display_name":"Palack\u00fd University Olomouc","ror":"https://ror.org/04qxnmv42","country_code":"CZ","type":"education","lineage":["https://openalex.org/I70703428"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Ivan Chajda","raw_affiliation_strings":["Department of Algebra and Geometry, Faculty of Science, Palack\u00fd University Olomouc, 17. listopadu 12, 771 46, Olomouc, Czech Republic","Department of Algebra and Geometry, Faculty of Science, Palack\u00fd University Olomouc, Olomouc, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Algebra and Geometry, Faculty of Science, Palack\u00fd University Olomouc, 17. listopadu 12, 771 46, Olomouc, Czech Republic","institution_ids":["https://openalex.org/I70703428"]},{"raw_affiliation_string":"Department of Algebra and Geometry, Faculty of Science, Palack\u00fd University Olomouc, Olomouc, Czech Republic","institution_ids":["https://openalex.org/I70703428"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101950308","display_name":"Miroslav Kola\u0159\u00edk","orcid":"https://orcid.org/0000-0002-0641-4584"},"institutions":[{"id":"https://openalex.org/I70703428","display_name":"Palack\u00fd University Olomouc","ror":"https://ror.org/04qxnmv42","country_code":"CZ","type":"education","lineage":["https://openalex.org/I70703428"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Miroslav Kola\u0159\u00edk","raw_affiliation_strings":["Department of Computer Science, Faculty of Science, Palack\u00fd University Olomouc, 17. listopadu 12, 771 46, Olomouc, Czech Republic","Department of Computer Science, Faculty of Science, Palack\u00fd University Olomouc, Olomouc, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Faculty of Science, Palack\u00fd University Olomouc, 17. listopadu 12, 771 46, Olomouc, Czech Republic","institution_ids":["https://openalex.org/I70703428"]},{"raw_affiliation_string":"Department of Computer Science, Faculty of Science, Palack\u00fd University Olomouc, Olomouc, Czech Republic","institution_ids":["https://openalex.org/I70703428"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005373819"],"corresponding_institution_ids":["https://openalex.org/I70703428"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":0.2357,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.54390465,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"22","issue":"4","first_page":"1203","last_page":"1207"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9998999834060669,"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.9998999834060669,"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.9984999895095825,"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.9901000261306763,"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/axiom","display_name":"Axiom","score":0.8846341967582703},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.6255647540092468},{"id":"https://openalex.org/keywords/axiom-of-choice","display_name":"Axiom of choice","score":0.6182218790054321},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6026399731636047},{"id":"https://openalex.org/keywords/zermelo\u2013fraenkel-set-theory","display_name":"Zermelo\u2013Fraenkel set theory","score":0.5367981195449829},{"id":"https://openalex.org/keywords/constructive-set-theory","display_name":"Constructive set theory","score":0.5271368026733398},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.4638614058494568},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.45178115367889404},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44154953956604004},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4392126798629761},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.25266849994659424},{"id":"https://openalex.org/keywords/set-theory","display_name":"Set theory","score":0.13133707642555237},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.0817326009273529},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.05349838733673096}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.8846341967582703},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.6255647540092468},{"id":"https://openalex.org/C151797676","wikidata":"https://www.wikidata.org/wiki/Q179692","display_name":"Axiom of choice","level":4,"score":0.6182218790054321},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6026399731636047},{"id":"https://openalex.org/C51460","wikidata":"https://www.wikidata.org/wiki/Q191849","display_name":"Zermelo\u2013Fraenkel set theory","level":5,"score":0.5367981195449829},{"id":"https://openalex.org/C556429856","wikidata":"https://www.wikidata.org/wiki/Q5164501","display_name":"Constructive set theory","level":5,"score":0.5271368026733398},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4638614058494568},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.45178115367889404},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44154953956604004},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4392126798629761},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.25266849994659424},{"id":"https://openalex.org/C153046414","wikidata":"https://www.wikidata.org/wiki/Q12482","display_name":"Set theory","level":3,"score":0.13133707642555237},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0817326009273529},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.05349838733673096},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00500-017-2628-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00500-017-2628-1","pdf_url":null,"source":{"id":"https://openalex.org/S65753830","display_name":"Soft Computing","issn_l":"1432-7643","issn":["1432-7643","1433-7479"],"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":"Soft Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1818487909","https://openalex.org/W1988000631","https://openalex.org/W1990446090","https://openalex.org/W2002685092","https://openalex.org/W2078256130","https://openalex.org/W2157838804","https://openalex.org/W2235150891","https://openalex.org/W2235869907","https://openalex.org/W2431211367","https://openalex.org/W3126996113","https://openalex.org/W4252113473"],"related_works":["https://openalex.org/W2350176099","https://openalex.org/W4233243512","https://openalex.org/W288388583","https://openalex.org/W423103167","https://openalex.org/W1995120876","https://openalex.org/W3034881686","https://openalex.org/W2016661762","https://openalex.org/W77027564","https://openalex.org/W3112295066","https://openalex.org/W2373903136"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}