Matej Dostál

According to our database, Matej Dostál authored at least 7 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Strongly Finitary Monads for Varieties of Quantitative Algebras.

Jirí Adámek, Matej Dostál, Jirí Velebil

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2022

A categorical view of varieties of ordered algebras.

Jirí Adámek, Matej Dostál, Jirí Velebil

Math. Struct. Comput. Sci., April, 2022

Moss' logic for ordered coalgebras.

Marta Bílková, Matej Dostál

Log. Methods Comput. Sci., 2022

2021

Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics.

Matej Dostál, Mehrnoosh Sadrzadeh, Gijs Wijnholds

CoRR, 2021

2016

Morita Equivalence for Many-Sorted Enriched Theories.

Matej Dostál, Jirí Velebil

Appl. Categorical Struct., 2016

Expressivity of Many-Valued Modal Logics, Coalgebraically.

Marta Bílková, Matej Dostál

Proceedings of the Logic, Language, Information, and Computation, 2016

2013

Many-Valued Relation Lifting and Moss' Coalgebraic Logic.

Marta Bílková, Matej Dostál

Proceedings of the Algebra and Coalgebra in Computer Science, 2013