Gan, Shengwen; Jing, Yifan; Wu, Shukun New bounds for Stein’s square function in \(\mathbb{R}^3\). (English) Zbl 07807664 Guo, Shaoming (ed.) et al., Recent developments in harmonic analysis and its applications. AMS special session on harmonic analysis, lvirtual, March 26–27, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 792, 19-65 (2024). MSC: 06-XX PDFBibTeX XMLCite \textit{S. Gan} et al., Contemp. Math. 792, 19--65 (2024; Zbl 07807664) Full Text: DOI arXiv
Friedgut, Ehud KKL’s influence on me. (English) Zbl 07821702 Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4568-4581 (2023). MSC: 06E30 PDFBibTeX XMLCite \textit{E. Friedgut}, in: International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6--14, 2022. Volume 6. Sections 12--14. Berlin: European Mathematical Society (EMS). 4568--4581 (2023; Zbl 07821702) Full Text: DOI OA License
Oleszkiewicz, Krzysztof Boolean functions with small second-order influences on the discrete cube. (English) Zbl 07814324 Adamczak, Radosław (ed.) et al., High dimensional probability IX. The ethereal volume. Selected papers based on the presentations at the 9th conference, virtual, June 15–19, 2020. Cham: Springer. Prog. Probab. 80, 155-166 (2023). MSC: 60E15 42C10 60J25 06E30 28A12 PDFBibTeX XMLCite \textit{K. Oleszkiewicz}, Prog. Probab. 80, 155--166 (2023; Zbl 07814324) Full Text: DOI arXiv
Panjarike, Pallavi; Syam Prasad, Kuncham; Al-Tahan, Madeline; Bhatta, Vadiraja; Panackal, Harikrishnan On lattice vector spaces over a distributive lattice. (English) Zbl 07814314 Ambily, A. A. (ed.) et al., Semigroups, algebras and operator theory. ICSAOT 2022. Selected papers based on the presentations at the international conference, CUSAT, Kerala, India, March 28–31, 2022. Singapore: Springer. Springer Proc. Math. Stat. 436, 173-183 (2023). MSC: 06Dxx 47D03 PDFBibTeX XMLCite \textit{P. Panjarike} et al., Springer Proc. Math. Stat. 436, 173--183 (2023; Zbl 07814314) Full Text: DOI
Thomas, Alanka; Romeo, P. G. Group lattices over division rings. (English) Zbl 07814307 Ambily, A. A. (ed.) et al., Semigroups, algebras and operator theory. ICSAOT 2022. Selected papers based on the presentations at the international conference, CUSAT, Kerala, India, March 28–31, 2022. Singapore: Springer. Springer Proc. Math. Stat. 436, 67-78 (2023). Reviewer: Egle Bettio (Venezia) MSC: 20G15 06B15 PDFBibTeX XMLCite \textit{A. Thomas} and \textit{P. G. Romeo}, Springer Proc. Math. Stat. 436, 67--78 (2023; Zbl 07814307) Full Text: DOI
Remy, Élisabeth; Ruet, Paul Average sensitivity of nested canalizing multivalued functions. (English) Zbl 07810889 Pang, Jun (ed.) et al., Computational methods in systems biology. 21st international conference, CMSB 2023, Luxembourg City, Luxembourg, September 13–15, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14137, 144-156 (2023). MSC: 92C42 06E30 PDFBibTeX XMLCite \textit{É. Remy} and \textit{P. Ruet}, Lect. Notes Comput. Sci. 14137, 144--156 (2023; Zbl 07810889) Full Text: DOI arXiv
Buriola, Gabriele; Schuster, Peter; Blechschmidt, Ingo A constructive picture of Noetherian conditions and well quasi-orders. (English) Zbl 07787570 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 50-62 (2023). MSC: 03F65 06A07 06A11 13E05 PDFBibTeX XMLCite \textit{G. Buriola} et al., Lect. Notes Comput. Sci. 13967, 50--62 (2023; Zbl 07787570) Full Text: DOI
Suciu, Alexandru I. Cohomology, Bocksteins, and resonance varieties in characteristic 2. (English) Zbl 07754579 Crooks, Peter (ed.) et al., Compactifications, configurations, and cohomology. Conference, Northeastern University, Boston, Massachusetts, USA, October 22–24, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 790, 131-157 (2023). MSC: 55U20 16E45 06E30 14M12 55S10 55U30 57P10 PDFBibTeX XMLCite \textit{A. I. Suciu}, Contemp. Math. 790, 131--157 (2023; Zbl 07754579) Full Text: DOI arXiv
Candeal, Juan C. The continuous representation property in utility theory. (English) Zbl 1523.54032 Acharjee, Santanu (ed.), Advances in topology and their interdisciplinary applications. Singapore: Springer. Ind. Appl. Math., 75-91 (2023). MSC: 54F05 06A05 91B16 91B14 PDFBibTeX XMLCite \textit{J. C. Candeal}, in: Advances in topology and their interdisciplinary applications. Singapore: Springer. 75--91 (2023; Zbl 1523.54032) Full Text: DOI
Facchini, Alberto Algebraic structures from the point of view of complete multiplicative lattices. (English) Zbl 07696854 Leroy, A. (ed.) et al., Algebra and coding theory. Virtual conference in honor of Tariq Rizvi. Noncommutative rings and their applications VII, Université d’Artois, Lens, France, July 5–7, 2021. Virtual conference on quadratic forms, rings and codes, Université d’Artois, Lens, France, July 8, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 785, 113-131 (2023). MSC: 06B75 16T25 20A99 22F05 PDFBibTeX XMLCite \textit{A. Facchini}, Contemp. Math. 785, 113--131 (2023; Zbl 07696854) Full Text: DOI arXiv
Montin, Mathieu; Ledein, Amélie; Dubois, Catherine LibNDT: Towards a formal library on spreadable properties over linked nested datatypes. (English) Zbl 07779291 Gibbons, Jeremy (ed.) et al., Proceedings of the ninth workshop on mathematically structured functional programming, MSFP 2022, Munich, Germany, April 2, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 360, 27-44 (2022). MSC: 68-XX 06-XX PDFBibTeX XMLCite \textit{M. Montin} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 360, 27--44 (2022; Zbl 07779291) Full Text: arXiv Link
Can, Yavuz The Boolean determinant calculus. (English) Zbl 07737803 Tchemisova, Tatiana V. (ed.) et al., Dynamic control and optimization. DCO 2021, Aveiro, Portugal, February 3–5, 2021. Selected revised contributions. Cham: Springer. Springer Proc. Math. Stat. 407, 163-184 (2022). MSC: 06-XX PDFBibTeX XMLCite \textit{Y. Can}, Springer Proc. Math. Stat. 407, 163--184 (2022; Zbl 07737803) Full Text: DOI
Nimbhorkar, Shriram K.; Banswal, Deepali B. Closed weak supplemented lattices. (English) Zbl 07737769 Ashraf, Mohammad (ed.) et al., Algebra and related topics with applications, ICARTA-2019, Aligarh, India, December 17–19, 2019. Singapore: Springer. Springer Proc. Math. Stat. 392, 217-225 (2022). Reviewer: Grigore Călugăreanu (Cluj-Napoca) MSC: 06C15 PDFBibTeX XMLCite \textit{S. K. Nimbhorkar} and \textit{D. B. Banswal}, Springer Proc. Math. Stat. 392, 217--225 (2022; Zbl 07737769) Full Text: DOI
Stanišev, Ivana Survey on star partial order in indefinite inner product spaces. (English) Zbl 07715892 Djordjević, Dragan S. (ed.), Topics in operator theory. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 20(28), 327-342 (2022). MSC: 47-02 06A06 15A09 46C20 PDFBibTeX XMLCite \textit{I. Stanišev}, Zb. Rad. (Beogr.) 20, 327--342 (2022; Zbl 07715892) Full Text: Link
Rakić, Dragan S.; Djordjević, Dragan S. Review of partial orders in rings defined by generalized inverses. (English) Zbl 07715891 Djordjević, Dragan S. (ed.), Topics in operator theory. Beograd: Matematički Institut SANU. Zb. Rad. (Beogr.) 20(28), 281-325 (2022). MSC: 06A06 15A09 16U90 PDFBibTeX XMLCite \textit{D. S. Rakić} and \textit{D. S. Djordjević}, Zb. Rad. (Beogr.) 20, 281--325 (2022; Zbl 07715891) Full Text: Link
Gu, Xiaofeng; Zhang, William Cyclically orderable generalized Petersen graphs. (English) Zbl 1525.05181 Ni, Qiufen (ed.) et al., Algorithmic aspects in information and management. 16th international conference, AAIM 2022, Guangzhou, China, August 13–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13513, 303-315 (2022). MSC: 05C99 05C05 05C40 06A07 PDFBibTeX XMLCite \textit{X. Gu} and \textit{W. Zhang}, Lect. Notes Comput. Sci. 13513, 303--315 (2022; Zbl 1525.05181) Full Text: DOI
Ronse, Christian Reflections on a scientific career and its possible legacy. (English) Zbl 1522.68010 Baudrier, Étienne (ed.) et al., Discrete geometry and mathematical morphology. Second international joint conference, DGMM 2022, Strasbourg, France, October 24–27, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13493, 3-16 (2022). MSC: 68-03 06A15 06B23 68U03 68U05 68U10 PDFBibTeX XMLCite \textit{C. Ronse}, Lect. Notes Comput. Sci. 13493, 3--16 (2022; Zbl 1522.68010) Full Text: DOI
Kötters, Jens; Schmidt, Stefan E. Orbital concept lattices. (English) Zbl 1522.68541 Braun, Tanya (ed.) et al., Graph-based representation and reasoning. 27th international conference on conceptual structures, ICCS 2022, Münster, Germany, September 12–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13403, 66-81 (2022). MSC: 68T30 03G15 06B23 68P15 PDFBibTeX XMLCite \textit{J. Kötters} and \textit{S. E. Schmidt}, Lect. Notes Comput. Sci. 13403, 66--81 (2022; Zbl 1522.68541) Full Text: DOI
Bezhanishvili, Guram; Bezhanishvili, Nick Jankov formulas and axiomatization techniques for intermediate logics. (English) Zbl 07672616 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 71-124 (2022). MSC: 03B55 06D20 06E15 PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{N. Bezhanishvili}, Outst. Contrib. Log. 24, 71--124 (2022; Zbl 07672616) Full Text: DOI
Citkin, Alex V. Yankov’s contributions to propositional logic. (English) Zbl 07672614 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 7-52 (2022). MSC: 03B55 06D20 06D75 PDFBibTeX XMLCite \textit{A. Citkin}, Outst. Contrib. Log. 24, 7--52 (2022; Zbl 07672614) Full Text: DOI
Massas, Guillaume Choice-free de Vries duality. (English) Zbl 07668115 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 557-577 (2022). MSC: 06D50 06E15 54B30 54D30 PDFBibTeX XMLCite \textit{G. Massas}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 557--577 (2022; Zbl 07668115) Full Text: arXiv
Holliday, Wesley H. Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics. (English) Zbl 07668113 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 507-529 (2022). MSC: 03G10 03B20 03B45 06B23 06D15 06D20 PDFBibTeX XMLCite \textit{W. H. Holliday}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 507--529 (2022; Zbl 07668113) Full Text: arXiv
Grilletti, Gianluca Medvedev logic is the logic of finite distributive lattices without top element. (English) Zbl 07668110 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 451-466 (2022). MSC: 03B55 06D05 PDFBibTeX XMLCite \textit{G. Grilletti}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 451--466 (2022; Zbl 07668110)
Burrieza, Alfredo; Pérez de Guzmán, Inmaculada; Yuste-Ginel, Antonio A multi-modal logic for Galois connections. (English) Zbl 07668096 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 155-176 (2022). MSC: 03B45 03B44 06A15 PDFBibTeX XMLCite \textit{A. Burrieza} et al., in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 155--176 (2022; Zbl 07668096)
Gély, Alain; Couceiro, Miguel; Napoli, Amedeo Towards distributivity in FCA for phylogenetic data. (English) Zbl 07631922 Missaoui, Rokia (ed.) et al., Complex data analytics with formal concept analysis. Cham: Springer. 225-237 (2022). MSC: 68T30 06A12 06D99 92D15 PDFBibTeX XMLCite \textit{A. Gély} et al., in: Complex data analytics with formal concept analysis. Cham: Springer. 225--237 (2022; Zbl 07631922) Full Text: DOI
Šešelja, Branimir; Tepavčević, Andreja Congruences on lattices and lattice-valued functions. (English) Zbl 1509.06003 Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 219-228 (2022). MSC: 06B23 03E72 06B10 PDFBibTeX XMLCite \textit{B. Šešelja} and \textit{A. Tepavčević}, Stud. Comput. Intell. 955, 219--228 (2022; Zbl 1509.06003) Full Text: DOI
Madrid, Nicolás; Ojeda-Aciego, Manuel Some relationships between the notions of \(f\)-inclusion and \(f\)-contradiction. (English) Zbl 1509.03155 Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 175-181 (2022). MSC: 03E72 06A15 PDFBibTeX XMLCite \textit{N. Madrid} and \textit{M. Ojeda-Aciego}, Stud. Comput. Intell. 955, 175--181 (2022; Zbl 1509.03155) Full Text: DOI
Aragón, Roberto G.; Medina, Jesús; Ramírez-Poussa, Eloísa A weakened notion of congruence to reduce concept lattices. (English) Zbl 1509.68249 Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 139-145 (2022). MSC: 68T30 06B10 PDFBibTeX XMLCite \textit{R. G. Aragón} et al., Stud. Comput. Intell. 955, 139--145 (2022; Zbl 1509.68249) Full Text: DOI
Paskowitz, Lyle; Vallapureddy, Nathan; Wierman, John Efficient and non-efficient domination of \(\mathbb{Z}\)-stacked Archimedean lattices. (English) Zbl 1500.05051 Hoffman, Frederick (ed.), Combinatorics, graph theory and computing. Proceedings of the 51st southeastern international conference, SEICCGTC 2020, Boca Raton, USA, March 9–13, 2020. Cham: Springer. Springer Proc. Math. Stat. 388, 197-214 (2022). MSC: 05C69 05B35 90C10 06B05 PDFBibTeX XMLCite \textit{L. Paskowitz} et al., Springer Proc. Math. Stat. 388, 197--214 (2022; Zbl 1500.05051) Full Text: DOI
Hartonas, Chrysafis (Takis) Reconciliation of approaches to the semantics of logics without distribution. (English) Zbl 07576851 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 215-236 (2022). MSC: 03G10 03B45 03B47 06B15 PDFBibTeX XMLCite \textit{C. Hartonas}, Tributes 46, 215--236 (2022; Zbl 07576851)
Blechschmidt, Ingo Generalized spaces for constructive algebra. (English) Zbl 1521.03245 Mainzer, Klaus (ed.) et al., Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school “Proof and computation”, September 20–26, 2019. Hackensack, NJ: World Scientific. 99-187 (2022). Reviewer: Daniel A. Romano (Banja Luka) MSC: 03F65 06D22 18F20 54B20 PDFBibTeX XMLCite \textit{I. Blechschmidt}, in: Proof and computation II. From proof theory and univalent mathematics to program extraction and verification. Based on the international autumn school ``Proof and computation'', September 20--26, 2019. Hackensack, NJ: World Scientific. 99--187 (2022; Zbl 1521.03245) Full Text: DOI arXiv
Aguzzoli, Stefano; Bianchi, Matteo Finite model property and varieties of BL-algebras. (English) Zbl 1501.06001 Harmati, István Á. (ed.) et al., Computational intelligence and mathematics for tackling complex problems 3. Selected papers based on the presentations at the ESCIM-2020, virtual, 2020 and 2021. Cham: Springer. Stud. Comput. Intell. 959, 23-30 (2022). Reviewer: Hongxing Liu (Jinan) MSC: 06D35 03G25 PDFBibTeX XMLCite \textit{S. Aguzzoli} and \textit{M. Bianchi}, Stud. Comput. Intell. 959, 23--30 (2022; Zbl 1501.06001) Full Text: DOI
Holliday, Wesley H. Possibility semantics. (English) Zbl 07669413 Fitting, Melvin (ed.), Selected topics from contemporary logics. Landscapes in Logic 2. London: College Publications. 363-476 (2021). MSC: 03G05 03B10 03B20 03B45 03F45 06D20 06D22 PDFBibTeX XMLCite \textit{W. H. Holliday}, in: Selected topics from contemporary logics. London: College Publications. 363--476 (2021; Zbl 07669413)
Zafrullah, Muhammad On \(\star\)-potent domains and \(\star\)-homogeneous ideals. (English) Zbl 1497.13016 Badawi, Ayman (ed.) et al., Rings, monoids and module theory, AUS-ICMS 2020, Sharjah, United Arab Emirates, February 6–9, 2020. Singapore: Springer. Springer Proc. Math. Stat. 382, 89-109 (2021). MSC: 13A15 13G05 06F20 PDFBibTeX XMLCite \textit{M. Zafrullah}, Springer Proc. Math. Stat. 382, 89--109 (2021; Zbl 1497.13016) Full Text: DOI
Priss, Uta Visualising lattices with tabular diagrams. (English) Zbl 1496.68336 Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 378-386 (2021). MSC: 68T30 06B99 68R10 PDFBibTeX XMLCite \textit{U. Priss}, Lect. Notes Comput. Sci. 12909, 378--386 (2021; Zbl 1496.68336) Full Text: DOI
Jäkel, Christian; Schmidt, Stefan E. Packing problems, dimensions and the tensor product of complete lattices. (English) Zbl 1495.68219 Braun, Tanya (ed.) et al., Graph-based representation and reasoning. 26th international conference on conceptual structures, ICCS 2021, virtual event, September 20–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12879, 142-151 (2021). MSC: 68T30 05C69 06B23 PDFBibTeX XMLCite \textit{C. Jäkel} and \textit{S. E. Schmidt}, Lect. Notes Comput. Sci. 12879, 142--151 (2021; Zbl 1495.68219) Full Text: DOI
Cornejo, M. Eugenia; Medina, Jesús Right adjoint algebras versus operator left residuated posets. (English) Zbl 1495.68223 Ramanna, Sheela (ed.) et al., Rough sets. International joint conference, IJCRS 2021, Bratislava, Slovakia, September 19–24, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12872, 180-191 (2021). MSC: 68T37 03B52 03E72 06A11 08A70 68T30 PDFBibTeX XMLCite \textit{M. E. Cornejo} and \textit{J. Medina}, Lect. Notes Comput. Sci. 12872, 180--191 (2021; Zbl 1495.68223) Full Text: DOI
Edmonds, Chelsea; Paulson, Lawrence C. A modular first formalisation of combinatorial design theory. (English) Zbl 1485.68291 Kamareddine, Fairouz (ed.) et al., Intelligent computer mathematics. 14th international conference, CICM 2021, Timisoara, Romania, July 26–31, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12833, 3-18 (2021). MSC: 68V20 05Bxx 06D22 PDFBibTeX XMLCite \textit{C. Edmonds} and \textit{L. C. Paulson}, Lect. Notes Comput. Sci. 12833, 3--18 (2021; Zbl 1485.68291) Full Text: DOI arXiv
Batz, Kevin; Chen, Mingshuai; Kaminski, Benjamin Lucien; Katoen, Joost-Pieter; Matheja, Christoph; Schröer, Philipp Latticed \(k\)-induction with an application to probabilistic programs. (English) Zbl 1493.68204 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 524-549 (2021). MSC: 68Q60 06B23 68N30 PDFBibTeX XMLCite \textit{K. Batz} et al., Lect. Notes Comput. Sci. 12760, 524--549 (2021; Zbl 1493.68204) Full Text: DOI arXiv
Brückner, Guido; Chekan, Vera Drawing two posets. (English) Zbl 1490.68148 Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 410-420 (2021). MSC: 68R10 06A07 PDFBibTeX XMLCite \textit{G. Brückner} and \textit{V. Chekan}, Lect. Notes Comput. Sci. 12607, 410--420 (2021; Zbl 1490.68148) Full Text: DOI arXiv
Berthier, Michel; Provenzi, Edoardo Hunt’s colorimetric effect from a quantum measurement viewpoint. (English) Zbl 1487.81006 Nielsen, Frank (ed.) et al., Geometric science of information. 5th international conference, GSI 2021, Paris, France, July 21–23, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12829, 172-180 (2021). MSC: 81P15 81P16 92B20 06C15 PDFBibTeX XMLCite \textit{M. Berthier} and \textit{E. Provenzi}, Lect. Notes Comput. Sci. 12829, 172--180 (2021; Zbl 1487.81006) Full Text: DOI HAL
Picado, Jorge; Pultr, Aleš Notes on point-free topology. (English) Zbl 1486.18018 Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 173-223 (2021). Reviewer: Joaquín Luna-Torres (Cartagena) MSC: 18F70 06D22 18-02 54-02 PDFBibTeX XMLCite \textit{J. Picado} and \textit{A. Pultr}, Coimbra Math. Texts 1, 173--223 (2021; Zbl 1486.18018) Full Text: DOI
Facchini, Alberto Commutative monoids, noncommutative rings and modules. (English) Zbl 07482852 Clementino, Maria Manuel (ed.) et al., New perspectives in algebra, topology and categories. Summer school, Louvain-la-Neuve, Belgium, September 12–15, 2018 and September 11–14, 2019. Cham: Springer. Coimbra Math. Texts 1, 67-111 (2021). MSC: 06F05 16-01 16Dxx 20Mxx PDFBibTeX XMLCite \textit{A. Facchini}, Coimbra Math. Texts 1, 67--111 (2021; Zbl 07482852) Full Text: DOI
Neuwirth, Stefan Lorenzen’s reshaping of Krull’s Fundamentalsatz for integral domains (1938–1953). (English) Zbl 1484.01013 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 143-183 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 01A60 03A05 03G10 06-03 06B10 PDFBibTeX XMLCite \textit{S. Neuwirth}, Log. Epistemol. Unity Sci. 51, 143--183 (2021; Zbl 1484.01013) Full Text: DOI arXiv
Coquand, Thierry; Lombardi, Henri; Neuwirth, Stefan Regular entailment relations. (English) Zbl 1515.03226 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 103-114 (2021). MSC: 03G10 06D05 06F15 06F20 03G25 PDFBibTeX XMLCite \textit{T. Coquand} et al., Log. Epistemol. Unity Sci. 51, 103--114 (2021; Zbl 1515.03226) Full Text: DOI arXiv
Coquand, Thierry Lorenzen and constructive mathematics. (English) Zbl 1490.03001 Heinzmann, Gerhard (ed.) et al., Paul Lorenzen – mathematician and logician. Contributions presented at the workshop, Konstanz, Germany, March 8–9, 2018. Cham: Springer. Log. Epistemol. Unity Sci. 51, 47-61 (2021). Reviewer: Volker Peckhaus (Paderborn) MSC: 03-03 03F50 03F60 01A60 01A70 03A05 03F03 03F45 06-03 28-03 PDFBibTeX XMLCite \textit{T. Coquand}, Log. Epistemol. Unity Sci. 51, 47--61 (2021; Zbl 1490.03001) Full Text: DOI
Santocanale, Luigi Dualizing sup-preserving endomaps of a complete lattice. (English) Zbl 1515.06026 Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 335-346 (2021). MSC: 06F07 18F75 PDFBibTeX XMLCite \textit{L. Santocanale}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 335--346 (2021; Zbl 1515.06026) Full Text: arXiv Link
Mundici, Daniele Consequence relations with real truth values. (English) Zbl 1484.03042 Arieli, Ofer (ed.) et al., Arnon Avron on semantics and proof theory of non-classical logics. Cham: Springer. Outst. Contrib. Log. 21, 249-264 (2021). Reviewer: Giacomo Lenzi (Fisciano) MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{D. Mundici}, Outst. Contrib. Log. 21, 249--264 (2021; Zbl 1484.03042) Full Text: DOI
Kudryavtseva, Ganna Quotients of the Booleanization of an inverse semigroup. (English) Zbl 07450045 Romeo, P. G. (ed.) et al., Semigroups, categories, and partial algebras. ICSAA 2019. Proceedings of the conference, Kochi, India, December 9–12, 2019. Singapore: Springer. Springer Proc. Math. Stat. 345, 71-94 (2021). MSC: 20M18 18B40 46L06 06E75 PDFBibTeX XMLCite \textit{G. Kudryavtseva}, Springer Proc. Math. Stat. 345, 71--94 (2021; Zbl 07450045) Full Text: DOI arXiv
Guterman, Alexander; Márki, László; Shteyner, Pavel Ordering orders and quotient rings. (English) Zbl 07450040 Romeo, P. G. (ed.) et al., Semigroups, categories, and partial algebras. ICSAA 2019. Proceedings of the conference, Kochi, India, December 9–12, 2019. Singapore: Springer. Springer Proc. Math. Stat. 345, 1-17 (2021). MSC: 06A06 06F25 16H20 PDFBibTeX XMLCite \textit{A. Guterman} et al., Springer Proc. Math. Stat. 345, 1--17 (2021; Zbl 07450040) Full Text: DOI Link
Jipsen, Peter; Kurd-Misto, M. Eyad; Wimberley, James On the representation of Boolean magmas and Boolean semilattices. (English) Zbl 1506.06005 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 289-312 (2021). MSC: 06E25 03G25 06A12 PDFBibTeX XMLCite \textit{P. Jipsen} et al., Outst. Contrib. Log. 19, 289--312 (2021; Zbl 1506.06005) Full Text: DOI
Düntsch, Ivo; Dzik, Wojciech; Orłowska, Ewa On the semilattice of modal operators and decompositions of the discriminator. (English) Zbl 1506.03128 Madarász, Judit (ed.) et al., Hajnal Andréka and István Németi on unity of science. From computing to relativity theory through algebraic logic. Cham: Springer. Outst. Contrib. Log. 19, 207-231 (2021). MSC: 03G10 03B45 06E25 PDFBibTeX XMLCite \textit{I. Düntsch} et al., Outst. Contrib. Log. 19, 207--231 (2021; Zbl 1506.03128) Full Text: DOI arXiv
Kusraev, A. G.; Kutateladze, S. S. Boolean valued analysis: background and results. (English) Zbl 1482.06003 Kusraev, Anatoly G. (ed.) et al., Operator theory and differential equations. Selected papers based on the presentations at the 15th conference on order analysis and related problems of mathematical modeling, Vladikavkaz, Russia, July 15–20, 2019. Cham: Birkhäuser. Trends Math., 91-105 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 06F25 46A40 03C90 PDFBibTeX XMLCite \textit{A. G. Kusraev} and \textit{S. S. Kutateladze}, in: Operator theory and differential equations. Selected papers based on the presentations at the 15th conference on order analysis and related problems of mathematical modeling, Vladikavkaz, Russia, July 15--20, 2019. Cham: Birkhäuser. 91--105 (2021; Zbl 1482.06003) Full Text: DOI
Landsman, Klaas The logic of quantum mechanics (Revisited). (English) Zbl 1480.81010 Anel, Mathieu (ed.) et al., New spaces in physics. Formal and conceptual reflections. Cambridge: Cambridge University Press. 85-113 (2021). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 81P10 03G12 06C15 46L05 81-03 01A60 01A61 PDFBibTeX XMLCite \textit{K. Landsman}, in: New spaces in physics. Formal and conceptual reflections. Cambridge: Cambridge University Press. 85--113 (2021; Zbl 1480.81010) Full Text: DOI Link
Weitkämper, Felix Axiomatizing Boolean differentiation. (English) Zbl 1515.03225 Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 83-104 (2021). MSC: 03G05 03C65 06E05 06E30 PDFBibTeX XMLCite \textit{F. Weitkämper}, in: Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24--25, 2020. Cham: Springer. 83--104 (2021; Zbl 1515.03225) Full Text: DOI
Steinbach, Bernd; Posthoff, Christian Fast optimal synthesis of symmetric index generation functions. (English) Zbl 1498.68093 Drechsler, Rolf (ed.) et al., Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24–25, 2020. Cham: Springer. 59-81 (2021). MSC: 68P05 06E30 68W40 PDFBibTeX XMLCite \textit{B. Steinbach} and \textit{C. Posthoff}, in: Recent findings in Boolean techniques. Selected papers from the 14th international workshop on Boolean problems, IWSBP, virtual, September 24--25, 2020. Cham: Springer. 59--81 (2021; Zbl 1498.68093) Full Text: DOI
Muzundu, Kelvin Inheritance properties of positive cones induced by subalgebras and quotients of ordered Banach algebras. (English) Zbl 07402434 Kikianty, Eder (ed.) et al., Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8–12, 2019. Cham: Birkhäuser. Trends Math., 267-273 (2021). MSC: 06F25 46B40 PDFBibTeX XMLCite \textit{K. Muzundu}, in: Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8--12, 2019. Cham: Birkhäuser. 267--273 (2021; Zbl 07402434) Full Text: DOI
Khan, M. Ali; Uyanik, Metin Binary relations in mathematical economics: on continuity, additivity and monotonicity postulates in Eilenberg, Villegas and DeGroot. (English) Zbl 1471.91375 Kikianty, Eder (ed.) et al., Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8–12, 2019. Cham: Birkhäuser. Trends Math., 229-250 (2021). MSC: 91B86 06F20 46A40 PDFBibTeX XMLCite \textit{M. A. Khan} and \textit{M. Uyanik}, in: Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8--12, 2019. Cham: Birkhäuser. 229--250 (2021; Zbl 1471.91375) Full Text: DOI arXiv
Glück, Jochen On disjointness, bands and projections in partially ordered vector spaces. (English) Zbl 07402427 Kikianty, Eder (ed.) et al., Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8–12, 2019. Cham: Birkhäuser. Trends Math., 141-171 (2021). MSC: 06F20 46A40 46B40 PDFBibTeX XMLCite \textit{J. Glück}, in: Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8--12, 2019. Cham: Birkhäuser. 141--171 (2021; Zbl 07402427) Full Text: DOI arXiv Backlinks: MO
de Jeu, Marcel Free vector lattices and free vector lattice algebras. (English) Zbl 1484.46007 Kikianty, Eder (ed.) et al., Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8–12, 2019. Cham: Birkhäuser. Trends Math., 103-139 (2021). MSC: 46A40 06F25 PDFBibTeX XMLCite \textit{M. de Jeu}, in: Positivity and its applications. Proceedings from the conference Positivity X, Pretoria, South Africa, July 8--12, 2019. Cham: Birkhäuser. 103--139 (2021; Zbl 1484.46007) Full Text: DOI arXiv
Papadopoulos, Kyriakos Natural vs. artificial topologies on a relativistic spacetime. (English) Zbl 1472.83078 Rassias, Themistocles M. (ed.) et al., Nonlinear analysis and global optimization. Cham: Springer. Springer Optim. Appl. 167, 389-401 (2021). MSC: 83D05 03E75 06F30 53C50 55N20 PDFBibTeX XMLCite \textit{K. Papadopoulos}, Springer Optim. Appl. 167, 389--401 (2021; Zbl 1472.83078) Full Text: DOI arXiv
Cohen, David A.; Cooper, Martin C.; Jeavons, Peter G.; Živný, Stanislav Galois connections for patterns: an algebra of labelled graphs. (English) Zbl 1467.68176 Cochez, Michael (ed.) et al., Graph structures for knowledge representation and reasoning. 6th international workshop, GKR 2020, virtual event, September 5, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12640, 125-150 (2021). MSC: 68T30 05C78 06A15 68R10 PDFBibTeX XMLCite \textit{D. A. Cohen} et al., Lect. Notes Comput. Sci. 12640, 125--150 (2021; Zbl 1467.68176) Full Text: DOI
Lawrence, Jim Some enumeration relating to intervals in posets. (English) Zbl 07370368 Cunningham, Gabriel (ed.) et al., Polytopes and discrete geometry. AMS special session, Northeastern University, Boston, MA, USA, April 21–22, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 764, 149-155 (2021). MSC: 06A07 05A15 PDFBibTeX XMLCite \textit{J. Lawrence}, Contemp. Math. 764, 149--155 (2021; Zbl 07370368) Full Text: DOI
Jensen, Alathea Self-polar polytopes. (English) Zbl 1471.52011 Cunningham, Gabriel (ed.) et al., Polytopes and discrete geometry. AMS special session, Northeastern University, Boston, MA, USA, April 21–22, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 764, 101-124 (2021). Reviewer: Rolf Schneider (Freiburg im Breisgau) MSC: 52B12 52B05 06D50 PDFBibTeX XMLCite \textit{A. Jensen}, Contemp. Math. 764, 101--124 (2021; Zbl 1471.52011) Full Text: DOI arXiv
Bayer, Margaret M. The \(cd\)-index: a survey. (English) Zbl 1468.05001 Cunningham, Gabriel (ed.) et al., Polytopes and discrete geometry. AMS special session, Northeastern University, Boston, MA, USA, April 21–22, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 764, 1-19 (2021). MSC: 05-02 05E45 06A06 52B05 52B11 06A07 PDFBibTeX XMLCite \textit{M. M. Bayer}, Contemp. Math. 764, 1--19 (2021; Zbl 1468.05001) Full Text: DOI arXiv
Adobbati, Federica; Ferigato, Carlo; Gandelli, Stefano; Puerto, Aubel Adrián Stability of regional orthomodular posets under synchronisation and refinement. (English) Zbl 1464.68221 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XV. Berlin: Springer. Lect. Notes Comput. Sci. 12530, 50-74 (2021). MSC: 68Q85 06C15 PDFBibTeX XMLCite \textit{F. Adobbati} et al., Lect. Notes Comput. Sci. 12530, 50--74 (2021; Zbl 1464.68221) Full Text: DOI
Rivieccio, Umberto; Spinks, Matthew Quasi-Nelson; or, non-involutive Nelson algebras. (English) Zbl 1498.06024 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 133-168 (2021). MSC: 06D20 03G25 PDFBibTeX XMLCite \textit{U. Rivieccio} and \textit{M. Spinks}, Trends Log. Stud. Log. Libr. 55, 133--168 (2021; Zbl 1498.06024) Full Text: DOI
Dvurečenskij, Anatolij; Zahiri, Omid EMV-algebras – extended MV-algebras. (English) Zbl 1491.06024 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 107-132 (2021). MSC: 06D35 PDFBibTeX XMLCite \textit{A. Dvurečenskij} and \textit{O. Zahiri}, Trends Log. Stud. Log. Libr. 55, 107--132 (2021; Zbl 1491.06024) Full Text: DOI
Giuntini, Roberto; Mureşan, Claudia; Paoli, Francesco PBZ*-lattices: ordinal and horizontal sums. (English) Zbl 1498.06018 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 73-105 (2021). MSC: 06C15 08B15 06B10 08B26 03G25 03G12 81P10 PDFBibTeX XMLCite \textit{R. Giuntini} et al., Trends Log. Stud. Log. Libr. 55, 73--105 (2021; Zbl 1498.06018) Full Text: DOI
Chajda, Ivan; Länger, Helmut; Paseka, Jan Residuated operators and Dedekind-MacNeille completion. (English) Zbl 1500.06003 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 57-72 (2021). Reviewer: Sergejs Solovjovs (Praha) MSC: 06B23 06A11 06C15 06D15 06E75 PDFBibTeX XMLCite \textit{I. Chajda} et al., Trends Log. Stud. Log. Libr. 55, 57--72 (2021; Zbl 1500.06003) Full Text: DOI arXiv
Chajda, Ivan; Länger, Helmut Implication in weakly and dually weakly orthomodular lattices. (English) Zbl 1498.06016 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 41-56 (2021). MSC: 06C15 PDFBibTeX XMLCite \textit{I. Chajda} and \textit{H. Länger}, Trends Log. Stud. Log. Libr. 55, 41--56 (2021; Zbl 1498.06016) Full Text: DOI arXiv
Ertola-Biraben, Rodolfo C.; Esteva, Francesc; Godo, Lluís On distributive join semilattices. (English) Zbl 1498.06008 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 21-40 (2021). MSC: 06A12 06D75 PDFBibTeX XMLCite \textit{R. C. Ertola-Biraben} et al., Trends Log. Stud. Log. Libr. 55, 21--40 (2021; Zbl 1498.06008) Full Text: DOI arXiv
Aglianò, Paolo Distributivity and Varlet distributivity. (English) Zbl 1498.06006 Fazio, Davide (ed.) et al., Algebraic perspectives on substructural logics. Selected papers based on the presentations at the workshop AsubL (Algebra & Substructural Logics – Take 6), Cagliari, Italy, June 11–13, 2018. Cham: Springer. Trends Log. Stud. Log. Libr. 55, 11-20 (2021). MSC: 06A12 PDFBibTeX XMLCite \textit{P. Aglianò}, Trends Log. Stud. Log. Libr. 55, 11--20 (2021; Zbl 1498.06006) Full Text: DOI
Giuntini, Roberto; Mureşan, Claudia; Paoli, Francesco On PBZ*-lattices. (English) Zbl 1498.06017 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 313-337 (2021). MSC: 06C15 08B15 03G25 81P10 PDFBibTeX XMLCite \textit{R. Giuntini} et al., Log. Epistemol. Unity Sci. 49, 313--337 (2021; Zbl 1498.06017) Full Text: DOI arXiv
Celani, Sergio; Jansana, Ramon Bounded distributive lattices with two subordinations. (English) Zbl 1498.06019 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 217-252 (2021). MSC: 06D05 06D50 03G25 PDFBibTeX XMLCite \textit{S. Celani} and \textit{R. Jansana}, Log. Epistemol. Unity Sci. 49, 217--252 (2021; Zbl 1498.06019) Full Text: DOI
Alizadeh, Majid; Ono, Hiroakira Residuated expansions of lattice-ordered structures. (English) Zbl 1498.06041 Mojtahedi, Mojtaba (ed.) et al., Mathematics, logic, and their philosophies. Essays in honour of Mohammad Ardeshir. Cham: Springer. Log. Epistemol. Unity Sci. 49, 93-116 (2021). MSC: 06F99 03G10 06D20 PDFBibTeX XMLCite \textit{M. Alizadeh} and \textit{H. Ono}, Log. Epistemol. Unity Sci. 49, 93--116 (2021; Zbl 1498.06041) Full Text: DOI
Goodman, I. R.; Bamber, Donald A tacit assumption behind Lewis triviality that is not applicable to product space conditional event algebra. (English) Zbl 1483.03035 Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 111-126 (2021). Reviewer: Ioan Tomescu (Bucureşti) MSC: 03G05 06E25 60A05 PDFBibTeX XMLCite \textit{I. R. Goodman} and \textit{D. Bamber}, Stud. Comput. Intell. 892, 111--126 (2021; Zbl 1483.03035) Full Text: DOI
Bezhanishvili, G.; Harding, J. The Fell compactification of a poset. (English) Zbl 1460.54006 Kreinovich, Vladik (ed.), Statistical and fuzzy approaches to data processing, with applications to econometrics and other areas. In honor of Hung T. Nguyen’s 75th birthday. Cham: Springer. Stud. Comput. Intell. 892, 31-46 (2021). Reviewer: Jorge Picado (Coimbra) MSC: 54B20 54D35 54D45 06E15 06B25 PDFBibTeX XMLCite \textit{G. Bezhanishvili} and \textit{J. Harding}, Stud. Comput. Intell. 892, 31--46 (2021; Zbl 1460.54006) Full Text: DOI
Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel Galois connections between unbalanced structures in a fuzzy framework. (English) Zbl 1512.06002 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 736-747 (2020). MSC: 06A15 PDFBibTeX XMLCite \textit{I. P. Cabrera} et al., Commun. Comput. Inf. Sci. 1239, 736--747 (2020; Zbl 1512.06002) Full Text: DOI
Aguzzoli, Stefano; Gerla, Brunella Automorphism groups of finite BL-algebras. (English) Zbl 1512.06003 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 666-679 (2020). MSC: 06D35 20B25 PDFBibTeX XMLCite \textit{S. Aguzzoli} and \textit{B. Gerla}, Commun. Comput. Inf. Sci. 1239, 666--679 (2020; Zbl 1512.06003) Full Text: DOI
Rivieccio, Umberto; Jansana, Ramon; Nascimento, Thiago Two dualities for weakly pseudo-complemented quasi-Kleene algebras. (English) Zbl 07627300 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings. Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 634-653 (2020). MSC: 06-XX 03-XX PDFBibTeX XMLCite \textit{U. Rivieccio} et al., Commun. Comput. Inf. Sci. 1239, 634--653 (2020; Zbl 07627300) Full Text: DOI
Abbadini, Marco; Di Stefano, Federica; Spada, Luca Unification in Łukasiewicz logic with a finite number of variables. (English) Zbl 1512.03032 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 622-633 (2020). MSC: 03B50 06D35 PDFBibTeX XMLCite \textit{M. Abbadini} et al., Commun. Comput. Inf. Sci. 1239, 622--633 (2020; Zbl 1512.03032) Full Text: DOI
Boffa, Stefania; Murinová, Petra; Novák, Vilém Graded decagon of opposition with fuzzy quantifier-based concept-forming operators. (English) Zbl 1512.68316 Lesot, Marie-Jeanne (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 18th International Conference, IPMU 2020, Lisbon, Portugal, June 15–19, 2020. Proceedings, Part III. Cham: Springer. Commun. Comput. Inf. Sci. 1239, 131-144 (2020). MSC: 68T27 03B52 06D35 68T30 68T37 PDFBibTeX XMLCite \textit{S. Boffa} et al., Commun. Comput. Inf. Sci. 1239, 131--144 (2020; Zbl 1512.68316) Full Text: DOI
Cornejo, M. Eugenia; Medina-Moreno, Jesús; Ramírez-Poussa, Eloísa On the exchange principle in adjoint triples. (English) Zbl 1512.03039 Kóczy, László T. (ed.) et al., Computational intelligence and mathematics for tackling complex problems. Cham: Springer. Stud. Comput. Intell. 819, 59-65 (2020). MSC: 03B52 03E72 06A15 68T30 PDFBibTeX XMLCite \textit{M. E. Cornejo} et al., Stud. Comput. Intell. 819, 59--65 (2020; Zbl 1512.03039) Full Text: DOI
Courcelle, Bruno Betweenness in order-theoretic trees. (English) Zbl 1509.03030 Blass, Andreas (ed.) et al., Fields of logic and computation III. Essays dedicated to Yuri Gurevich on the occasion of his 80th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12180, 79-94 (2020). MSC: 03B16 06A07 05C05 PDFBibTeX XMLCite \textit{B. Courcelle}, Lect. Notes Comput. Sci. 12180, 79--94 (2020; Zbl 1509.03030) Full Text: DOI
Madrid, Nicolás; Ramírez-Poussa, Eloísa Representative set of objects in rough sets based on Galois connections. (English) Zbl 1509.68265 Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 349-361 (2020). MSC: 68T37 06A15 PDFBibTeX XMLCite \textit{N. Madrid} and \textit{E. Ramírez-Poussa}, Lect. Notes Comput. Sci. 12179, 349--361 (2020; Zbl 1509.68265) Full Text: DOI
Aragón, Roberto G.; Medina, Jesús; Ramírez-Poussa, Eloísa On the hierarchy of equivalence classes provided by local congruences. (English) Zbl 1509.68250 Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 298-307 (2020). MSC: 68T30 06B10 PDFBibTeX XMLCite \textit{R. G. Aragón} et al., Lect. Notes Comput. Sci. 12179, 298--307 (2020; Zbl 1509.68250) Full Text: DOI
Restrepo, Mauricio; Cornelis, Chris Attribute reduction from closure operators and matroids in rough set theory. (English) Zbl 1509.68274 Bello, Rafael (ed.) et al., Rough sets. International joint conference, IJCRS 2020, Havana, Cuba, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12179, 183-192 (2020). MSC: 68T37 05B35 06A15 PDFBibTeX XMLCite \textit{M. Restrepo} and \textit{C. Cornelis}, Lect. Notes Comput. Sci. 12179, 183--192 (2020; Zbl 1509.68274) Full Text: DOI
D’Ottaviano, Itala M. Loffredo; Feitosa, Hércules de Araujo Galois pairs with the modal operators of paraconsistent logic \(J_3\). (English) Zbl 1496.03108 de Barros, J. Acacio (ed.) et al., A true polymath. A tribute to Francisco Antonio Doria. Based on the meeting, Rio de Janeiro, Brazil, December 2018. [s.l.]: College Publications. Acad. Bras. Filos. 2, 143-167 (2020). MSC: 03B53 03G25 06A15 03B45 PDFBibTeX XMLCite \textit{I. M. L. D'Ottaviano} and \textit{H. de A. Feitosa}, Acad. Bras. Filos. 2, 143--167 (2020; Zbl 1496.03108)
Kumar, Arun A study of algebras and logics of rough sets based on classical and generalized approximation spaces. (English) Zbl 1483.68405 Peters, James F. (ed.) et al., Transactions on Rough Sets XXII. Berlin: Springer. Lect. Notes Comput. Sci. 12485, 123-251 (2020). MSC: 68T37 03B50 03G10 06D20 06D22 06D50 PDFBibTeX XMLCite \textit{A. Kumar}, Lect. Notes Comput. Sci. 12485, 123--251 (2020; Zbl 1483.68405) Full Text: DOI
Mitrović, Melanija; Silvestrov, Sergei Semilatice decompositions of semigroups. Hereditariness and periodicity – an overview. (English) Zbl 1484.20098 Silvestrov, Sergei (ed.) et al., Algebraic structures and applications. Selected papers based on the presentations at the international conference on stochastic processes and algebraic structures – from theory towards applications, SPAS 2017, Västerås and Stockholm, Sweden, October 4–6, 2017. Cham: Springer. Springer Proc. Math. Stat. 317, 687-721 (2020). MSC: 20M05 20M10 06A12 20M15 20M17 20M18 16E60 PDFBibTeX XMLCite \textit{M. Mitrović} and \textit{S. Silvestrov}, Springer Proc. Math. Stat. 317, 687--721 (2020; Zbl 1484.20098) Full Text: DOI
Issoual, Mohamed; Mahdou, Najib Rings in which every 2-absorbing ideal is prime. (English) Zbl 1468.13006 Shahid, Mohammad Hasan (ed.) et al., Differential geometry, algebra, and analysis. Selected papers based on the presentations at the international conference, ICDGAA 2016, New Delhi, India, November 15–17, 2016. Singapore: Springer. Springer Proc. Math. Stat. 327, 147-155 (2020). MSC: 13A15 06F10 13F05 13G05 13B21 PDFBibTeX XMLCite \textit{M. Issoual} and \textit{N. Mahdou}, Springer Proc. Math. Stat. 327, 147--155 (2020; Zbl 1468.13006) Full Text: DOI
Iorgulescu, Afrodita Algebras of logic vs. algebras. (English) Zbl 1505.03142 Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 157-258 (2020). MSC: 03G25 06F35 PDFBibTeX XMLCite \textit{A. Iorgulescu}, Landsc. Log. 1, 157--258 (2020; Zbl 1505.03142)
Vasile, Radu New ways for building BCK-algebras of higher order. (English) Zbl 1464.06017 Hvedri, Inassaridze (ed.), Tbilisi – mathematics. Special issue on the 8th international Eurasian conference on mathematical sciences and applications, IECMSA-2019, August 27–30, 2019, Baku, Azerbaijan. Berlin: De Gruyter/Sciendo. Tbilisi Math. J. Collect. Spec. Issues 1, 111-124 (2020). MSC: 06F35 PDFBibTeX XMLCite \textit{R. Vasile}, Tbilisi Math. J. Collect. Spec. Issues 1, 111--124 (2020; Zbl 1464.06017)
Charpin, Pascale Crooked functions. (English) Zbl 1486.11154 Davis, James A. (ed.), Finite fields and their applications. Proceedings of the 14th international conference on finite fields and their applications (Fq14), Vancouver, Canada, June 3–7, 2019. Berlin: De Gruyter. De Gruyter Proc. Math., 87-101 (2020). Reviewer: Wilfried Meidl (Linz) MSC: 11T71 94D10 06E30 PDFBibTeX XMLCite \textit{P. Charpin}, in: Finite fields and their applications. Proceedings of the 14th international conference on finite fields and their applications (Fq14), Vancouver, Canada, June 3--7, 2019. Berlin: De Gruyter. 87--101 (2020; Zbl 1486.11154) Full Text: DOI
Kuhlmann, Franz-Viktor Selected methods for the classification of cuts, and their applications. (English) Zbl 1460.06004 Gładki, Paweł (ed.) et al., Algebra, logic and number theory. Proceedings of the 5th joint conferences, Będlewo, Poland, June 24–29, 2018. Warsaw: Polish Academy of Sciences, Institute of Mathematics. Banach Cent. Publ. 121, 85-106 (2020). MSC: 06F20 12J15 12J10 12J20 13J30 PDFBibTeX XMLCite \textit{F.-V. Kuhlmann}, Banach Cent. Publ. 121, 85--106 (2020; Zbl 1460.06004) Full Text: DOI arXiv
Bouc, Serge Representations of finite sets and correspondences. (English) Zbl 1484.18002 Šťovíček, Jan (ed.) et al., Representation theory and beyond. Workshop and 18th international conference on representations of algebras, ICRA 2018, Prague, Czech Republic, August 13–17, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 758, 31-55 (2020). MSC: 18B05 18B35 06B05 06B15 06D05 06D50 16B50 18E05 PDFBibTeX XMLCite \textit{S. Bouc}, Contemp. Math. 758, 31--55 (2020; Zbl 1484.18002) Full Text: DOI HAL
Pegel, Christoph; Sanyal, Raman On piecewise-linear homeomorphisms between distributive and anti-blocking polyhedra. (English) Zbl 1457.52014 Stamate, Dumitru I. (ed.) et al., Combinatorial structures in algebra and geometry. NSA 26, Constanţa, Romania, August 26 – September 1, 2018. Cham: Springer. Springer Proc. Math. Stat. 331, 95-114 (2020). Reviewer: Rolf Schneider (Freiburg im Breisgau) MSC: 52B12 06A06 05C20 PDFBibTeX XMLCite \textit{C. Pegel} and \textit{R. Sanyal}, Springer Proc. Math. Stat. 331, 95--114 (2020; Zbl 1457.52014) Full Text: DOI arXiv
Pallavoor, Ramesh Krishnan S.; Raskhodnikova, Sofya; Waingarten, Erik Approximating the distance to monotonicity of Boolean functions. (English) Zbl 1522.68748 Chawla, Shuchi (ed.), Proceedings of the 31st annual ACM-SIAM symposium on discrete algorithms, SODA 2020, Salt Lake City, UT, USA, January 5–8, 2020. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1995-2009 (2020). MSC: 68W20 06E30 PDFBibTeX XMLCite \textit{R. K. S. Pallavoor} et al., in: Proceedings of the 31st annual ACM-SIAM symposium on discrete algorithms, SODA 2020, Salt Lake City, UT, USA, January 5--8, 2020. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 1995--2009 (2020; Zbl 1522.68748) Full Text: DOI arXiv
Westerbaan, Abraham; Westerbaan, Bas; van de Wetering, John A characterisation of ordered abstract probabilities. (English) Zbl 1503.81018 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 944-957 (2020). MSC: 81P68 68Q09 68Q10 06E25 81P10 06C15 PDFBibTeX XMLCite \textit{A. Westerbaan} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 944--957 (2020; Zbl 1503.81018) Full Text: DOI arXiv