Matej Dostál

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 7

Top Topics

Clifford Algebra

Cognitive Theory

Interactive Dynamic Influence Diagrams

Top Venues

Math. Struct. Comput. Sci.

Appl. Categorical Struct.

Publications

Jirí Adámek, Matej Dostál, Jirí Velebil
Strongly Finitary Monads for Varieties of Quantitative Algebras. CALCO (2023)
Marta Bílková, Matej Dostál
Moss' logic for ordered coalgebras. Log. Methods Comput. Sci. 18 (3) (2022)
Jirí Adámek, Matej Dostál, Jiri Velebil
A categorical view of varieties of ordered algebras. Math. Struct. Comput. Sci. 32 (4) (2022)
Matej Dostál, Mehrnoosh Sadrzadeh, Gijs Wijnholds
Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics. CoRR (2021)
Marta Bílková, Matej Dostál
Moss' logic for ordered coalgebras. CoRR (2019)
Matej Dostál, Jiri Velebil
Morita Equivalence for Many-Sorted Enriched Theories. Appl. Categorical Struct. 24 (6) (2016)
Marta Bílková, Matej Dostál
Expressivity of Many-Valued Modal Logics, Coalgebraically. WoLLIC (2016)
Marta Bílková, Matej Dostál
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. CALCO (2013)