{"id":"https://openalex.org/W3002428359","doi":"https://doi.org/10.1007/s00500-020-05188-w","title":"The logic induced by effect algebras","display_name":"The logic induced by effect algebras","publication_year":2020,"publication_date":"2020-07-26","ids":{"openalex":"https://openalex.org/W3002428359","doi":"https://doi.org/10.1007/s00500-020-05188-w","mag":"3002428359","pmid":"https://pubmed.ncbi.nlm.nih.gov/32968356"},"language":"en","primary_location":{"id":"doi:10.1007/s00500-020-05188-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-020-05188-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00500-020-05188-w.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite","pubmed"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/s00500-020-05188-w.pdf","any_repository_has_fulltext":true},"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":false,"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"],"raw_orcid":null,"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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062861815","display_name":"Radom\u00edr Hala\u0161","orcid":"https://orcid.org/0000-0002-6414-0892"},"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":"Radom\u00edr Hala\u0161","raw_affiliation_strings":["Department of Algebra and Geometry, Faculty of Science, Palack\u00fd University Olomouc, 17. listopadu 12, 771 46 Olomouc, Czech Republic"],"raw_orcid":null,"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"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5063985495","display_name":"Helmut L\u00e4nger","orcid":"https://orcid.org/0000-0002-7030-4080"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]},{"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":["AT","CZ"],"is_corresponding":true,"raw_author_name":"Helmut L\u00e4nger","raw_affiliation_strings":["Department of Algebra and Geometry, Faculty of Science, Palack\u00fd University Olomouc, 17. listopadu 12, 771 46 Olomouc, Czech Republic","Institute of Discrete Mathematics and Geometry, Faculty of Mathematics and Geoinformation, TU Wien, Wiedner Hauptstra\u00dfe 8-10, 1040 Vienna, Austria","Institute of Discrete Mathematics and Geometry, Faculty of Mathematics and Geoinformation, TU Wien, Vienna, Austria"],"raw_orcid":"https://orcid.org/0000-0002-7030-4080","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":"Institute of Discrete Mathematics and Geometry, Faculty of Mathematics and Geoinformation, TU Wien, Wiedner Hauptstra\u00dfe 8-10, 1040 Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institute of Discrete Mathematics and Geometry, Faculty of Mathematics and Geoinformation, TU Wien, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5063985495"],"corresponding_institution_ids":["https://openalex.org/I145847075","https://openalex.org/I70703428"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":{"value":2990,"currency":"USD","value_usd":2990},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04055338,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"24","issue":"19","first_page":"14275","last_page":"14286"},"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/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9961000084877014,"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.9955999851226807,"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/reduct","display_name":"Reduct","score":0.6879136562347412},{"id":"https://openalex.org/keywords/algebraic-semantics","display_name":"Algebraic semantics","score":0.6850633025169373},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6657003164291382},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.6335741281509399},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.5232014656066895},{"id":"https://openalex.org/keywords/interior-algebra","display_name":"Interior algebra","score":0.45288845896720886},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.4481927752494812},{"id":"https://openalex.org/keywords/heyting-algebra","display_name":"Heyting algebra","score":0.42407864332199097},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39933231472969055},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.38873451948165894},{"id":"https://openalex.org/keywords/non-associative-algebra","display_name":"Non-associative algebra","score":0.23884636163711548},{"id":"https://openalex.org/keywords/algebra-representation","display_name":"Algebra representation","score":0.21192574501037598},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.17033609747886658},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07812798023223877},{"id":"https://openalex.org/keywords/rough-set","display_name":"Rough set","score":0.07504710555076599}],"concepts":[{"id":"https://openalex.org/C69177213","wikidata":"https://www.wikidata.org/wiki/Q12880812","display_name":"Reduct","level":3,"score":0.6879136562347412},{"id":"https://openalex.org/C2779729104","wikidata":"https://www.wikidata.org/wiki/Q4724013","display_name":"Algebraic semantics","level":3,"score":0.6850633025169373},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6657003164291382},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6335741281509399},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.5232014656066895},{"id":"https://openalex.org/C203254541","wikidata":"https://www.wikidata.org/wiki/Q10894825","display_name":"Interior algebra","level":5,"score":0.45288845896720886},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.4481927752494812},{"id":"https://openalex.org/C187062830","wikidata":"https://www.wikidata.org/wiki/Q1617044","display_name":"Heyting algebra","level":3,"score":0.42407864332199097},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39933231472969055},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.38873451948165894},{"id":"https://openalex.org/C518143113","wikidata":"https://www.wikidata.org/wiki/Q4391941","display_name":"Non-associative algebra","level":4,"score":0.23884636163711548},{"id":"https://openalex.org/C14394260","wikidata":"https://www.wikidata.org/wiki/Q4723980","display_name":"Algebra representation","level":3,"score":0.21192574501037598},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.17033609747886658},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07812798023223877},{"id":"https://openalex.org/C111012933","wikidata":"https://www.wikidata.org/wiki/Q3137210","display_name":"Rough set","level":2,"score":0.07504710555076599},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s00500-020-05188-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-020-05188-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00500-020-05188-w.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},{"id":"pmid:32968356","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/32968356","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft computing","raw_type":null},{"id":"pmh:oai:arXiv.org:2001.06686","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2001.06686","pdf_url":"https://arxiv.org/pdf/2001.06686","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:pubmedcentral.nih.gov:7481171","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/7481171","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Soft comput","raw_type":"Text"},{"id":"mag:3002428359","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2001.06686","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"doi:10.48550/arxiv.2001.06686","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2001.06686","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1007/s00500-020-05188-w","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00500-020-05188-w","pdf_url":"https://link.springer.com/content/pdf/10.1007/s00500-020-05188-w.pdf","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Soft Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G166814962","display_name":null,"funder_award_id":"I4579-N","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G2864308035","display_name":null,"funder_award_id":"CZ 02/2019","funder_id":"https://openalex.org/F4320323163","funder_display_name":"OeAD-GmbH"},{"id":"https://openalex.org/G3688524014","display_name":null,"funder_award_id":"I 4579-N","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G3858672000","display_name":null,"funder_award_id":"20-09869L","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G7669781886","display_name":null,"funder_award_id":"P\u0159F 2020 014","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G7736425295","display_name":"The many facets of orthomodularity","funder_award_id":"GF20-09869L","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"},{"id":"https://openalex.org/G8089125395","display_name":"The many facets of orthomodularity","funder_award_id":"I 4579","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8445094685","display_name":null,"funder_award_id":"CZ 02/2019","funder_id":"https://openalex.org/F4320321006","funder_display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky"}],"funders":[{"id":"https://openalex.org/F4320321006","display_name":"Grantov\u00e1 Agentura \u010cesk\u00e9 Republiky","ror":"https://ror.org/01pv73b02"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"},{"id":"https://openalex.org/F4320323163","display_name":"OeAD-GmbH","ror":"https://ror.org/05y9csv14"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3002428359.pdf","grobid_xml":"https://content.openalex.org/works/W3002428359.grobid-xml"},"referenced_works_count":13,"referenced_works":["https://openalex.org/W1519478560","https://openalex.org/W1599755535","https://openalex.org/W1988000631","https://openalex.org/W1990446090","https://openalex.org/W2040690525","https://openalex.org/W2070915653","https://openalex.org/W2080412456","https://openalex.org/W2093085284","https://openalex.org/W2105232709","https://openalex.org/W2727128688","https://openalex.org/W2777785099","https://openalex.org/W2990999098","https://openalex.org/W4211185072"],"related_works":["https://openalex.org/W2358364268","https://openalex.org/W2890423038","https://openalex.org/W2607699588","https://openalex.org/W2938745754","https://openalex.org/W2949203734","https://openalex.org/W3036607119","https://openalex.org/W155089971","https://openalex.org/W920672099","https://openalex.org/W2137568670","https://openalex.org/W2048315902","https://openalex.org/W177385199","https://openalex.org/W3023069276","https://openalex.org/W2777785099","https://openalex.org/W3162296739","https://openalex.org/W170657001","https://openalex.org/W2057454730","https://openalex.org/W2073361881","https://openalex.org/W2153647436","https://openalex.org/W2388315653","https://openalex.org/W2077237847"],"abstract_inverted_index":{"Abstract":[0],"Effect":[1],"algebras":[2,16,76,107,114,117,137],"form":[3],"an":[4,125,143],"algebraic":[5,144],"formalization":[6],"of":[7,10,35,87],"the":[8,32,67,110,119,147],"logic":[9,68,148],"quantum":[11],"mechanics.":[12],"For":[13,74],"lattice":[14,71],"effect":[15,72,75,105,116,136,152],"$${\\mathbf":[17,36,46],"{E}}$$":[18,37,47],"<mml:math":[19,38,48],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\">":[20,39,49],"<mml:mi>E</mml:mi>":[21,40,50],"</mml:math>":[22,41,51],",":[23],"we":[24,54,82,103],"investigate":[25],"a":[26,56,84,99],"natural":[27],"implication":[28,33,88,106],"and":[29,108,115,138],"prove":[30,109,139],"that":[31,140],"reduct":[34],"is":[42,90,142],"term":[43],"equivalent":[44],"to":[45,65],".":[52],"Then,":[53,102],"present":[55,124],"simple":[57],"axiom":[58,126],"system":[59,127],"in":[60,63,128],"Gentzen":[61,129],"style":[62,130],"order":[64],"axiomatize":[66],"induced":[69,149],"by":[70,150],"algebras.":[73,153],"which":[77,89],"need":[78,96],"not":[79,97,133],"be":[80,98],"lattice-ordered,":[81],"introduce":[83],"certain":[85],"kind":[86],"everywhere":[91],"defined":[92],"but":[93],"whose":[94],"result":[95],"single":[100],"element.":[101],"study":[104],"correspondence":[111],"between":[112],"these":[113],"satisfying":[118],"ascending":[120],"chain":[121],"condition.":[122],"We":[123],"also":[131],"for":[132,146],"necessarily":[134],"lattice-ordered":[135],"it":[141],"semantics":[145],"finite":[151]},"counts_by_year":[],"updated_date":"2026-08-11T07:18:39.950985","created_date":"2025-10-10T00:00:00"}