Dostál, Matěj
23  results:
Search for persons X
?
1

Moss' logic for ordered coalgebras:

Bílková, Marta ; Dostál, Matěj
Logical Methods in Computer Science.  18, Issue 3 (2022)  - p. , 2022
 
?
2

Fuzzy Generalised Quantifiers for Natural Language in Categ..:

, In: Logic, Epistemology, and the Unity of Science; Mathematics, Logic, and their Philosophies,
 
?
3

Morita Equivalence for Many-Sorted Enriched Theories:

Dostál, Matĕj ; Velebil, Jiří
Applied Categorical Structures.  24 (2015)  6 - p. 825-844 , 2015
 
?
 
?
11

A two-dimensional Birkhoff's theorem:

Dostál, Matěj
http://arxiv.org/abs/1509.00763.  , 2015
 
?
 
?
15

Moss' logic for ordered coalgebras:

Marta Bílková ; Matěj Dostál
https://lmcs.episciences.org/5158/pdf.  , 2022
 
1-15