×

Found 4,257 Documents (Results 1–100)

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI

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).
MSC:  20G15 06B15
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: arXiv Link

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
Full Text: DOI

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).
MSC:  06C15
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: arXiv

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).
PDFBibTeX XMLCite
Full Text: arXiv

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

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

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
MSC:  06D35 03G25
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: arXiv Link

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
Full Text: DOI arXiv

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).
MSC:  06F25 46A40 03C90
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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
Full Text: DOI

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).
MSC:  03G05 06E25 60A05
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite

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).
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI

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

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).
MSC:  11T71 94D10 06E30
PDFBibTeX XMLCite
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

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).
MSC:  52B12 06A06 05C20
PDFBibTeX XMLCite
Full Text: DOI arXiv

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
Full Text: DOI arXiv

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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software