×

Found 549 Documents (Results 1–100)

The structure of locally integral involutive po-monoids and semirings. (English) Zbl 07728633

Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 69-86 (2023).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

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
PDF BibTeX XML Cite
Full Text: DOI

Time warps, from algebra to algorithms. (English) Zbl 07670526

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13027, 309-324 (2021).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

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).
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the logic of left-continuous t-norms and right-continuous t-conorms. (English) Zbl 1512.03047

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, 654-665 (2020).
MSC:  03B52 03G25
PDF BibTeX XML Cite
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
PDF BibTeX XML Cite
Full Text: DOI

Finitely-valued propositional dynamic logic. (English) Zbl 07585733

Olivetti, Nicola (ed.) et al., Advances in modal logic. Vol. 13. Proceedings of the 13th conference (AiML 2020), Helsinki, Finland, virtual conference, August 24–28, 2020. London: College Publications. 561-579 (2020).
MSC:  03B45
PDF BibTeX XML Cite
Full Text: arXiv

Weakening relation algebras and \(\mathrm{FL}^2\)-algebras. (English) Zbl 07578338

Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 117-133 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software