×

Found 1,557 Documents (Results 1–100)

100
MathJax

Reducts of relation algebras: the aspects of axiomatisability and finite representability. (English) Zbl 07551723

Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2022, Deerfield Beach, FL, USA, January 10–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13137, 266-280 (2022).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv

On the semilattice of modal operators and decompositions of the discriminator. (English) Zbl 07442314

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

Tight and cover-to-join representations of semilattices and inverse semigroups. (English) Zbl 07393029

Bastos, M. Amélia (ed.) et al., Operator theory, functional analysis and applications. Proceedings of the 30th international workshop on operator theory and its applications, IWOTA 2019, Lisbon, Portugal, July 22–26, 2019. Cham: Birkhäuser. Oper. Theory: Adv. Appl. 282, 183-192 (2021).
MSC:  20M18 20M30 46L05
PDF BibTeX XML Cite
Full Text: DOI arXiv

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Classification

Biographic Reference

all top 3

Software