Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Matěj Dostál
Observed names:
Dostál Matěj,
Dostál, M.,
Dostál, Matěj,
M. Dostál,
Matĕj Dostál,
Mǎtej Dostál
show all 6
Observed institutions:
Czech Academy of Sciences,
Czech Academy of Sciences, Institute of Computer Science,
Czech Technical University in Prague
ORCID:
0000-0002-4373-0471
Observed ORCID:
0000-0002-4373-0471
OpenAlex ID:
A5030514922
A categorical view of varieties of ordered algebras
2022
·
J. Adámek
, M. Dostál
, et al.
·
Mathematical Structures in Computer Science
·
13
Expressivity of Many-Valued Modal Logics, Coalgebraically
2016
·
Marta Bílková
, Matěj Dostál
·
Lecture notes in computer science
·
13
Many-Valued Relation Lifting and Moss’ Coalgebraic Logic
2013
·
Marta Bílková
, Matěj Dostál
·
Lecture notes in computer science
·
6
Many Valued Generalised Quantifiers for Natural Language in the DisCoCat Model
2016
·
Matěj Dostál
, Mehrnoosh Sadrzadeh
·
Queen Mary Research Online (Queen Mary University of London)
·
4
PDF
A categorical view of varieties of ordered algebras
2020
·
Adámek, J.
, Dostál, M.
, et al.
·
arXiv (Cornell University)
·
3
PDF
Sifted colimits, strongly finitary monads and continuous algebras
2025
·
Jiří Adámek
, Matěj Dostál
, et al.
·
Theory and applications of categories
·
2
PDF
Fuzzy Generalised Quantifiers for Natural Language in Categorical Compositional Distributional Semantics
2021
·
Mǎtej Dostál
, Mehrnoosh Sadrzadeh
, et al.
·
Logic, epistemology, and the unity of science
·
2
PDF
Varieties of Quantitative or Continuous Algebras (Extended Abstract)
2023
·
Adámek, Jiří
, Dostál, Matěj
, et al.
·
arXiv (Cornell University)
PDF
Moss' logic for ordered coalgebras
2022
·
Marta Bílková
, Matěj Dostál
·
Logical Methods in Computer Science
PDF
Dvoudimensionální univerzální algebra
2018
·
Dostál Matěj
·
Cvut DSpace (Czech Technical University)
PDF
Bénabou's theorem for pseudoadjunctions
2017
·
Dostál, Matěj
·
arXiv (Cornell University)
PDF
A two-dimensional Birkhoff's theorem
2016
·
Matěj Dostál
·
Theory and applications of categories
PDF
Morita Equivalence for Many-Sorted Enriched Theories
2015
·
Matĕj Dostál
, Jiří Velebil
·
Applied Categorical Structures
An elementary characterisation of sifted weights
2014
·
Dostál, Matěj
, Velebil, Jiří
·
arXiv (Cornell University)
PDF
Vícehodnotová koalgebraická logika
2013
·
Dostál Matěj
·
Cvut DSpace (Czech Technical University)
Show more works
View as search
Works count:
15
Citation count:
43
H-index:
4
I10-index:
2
Year
Topic
Type
