Affeldt, Reynald; Garrigue, Jacques; Nowak, David; Saikawa, Takafumi A trustful monad for axiomatic reasoning with probability and nondeterminism. (English) Zbl 1493.03004 J. Funct. Program. 31, Paper No. e17, 38 p. (2021). Reviewer: Alexandre Goy (Lyon) MSC: 03B70 03B35 68N18 68V15 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Berger, Ulrich; Tsuiki, Hideki Intuitionistic fixed point logic. (English) Zbl 1498.03065 Ann. Pure Appl. Logic 172, No. 3, Article ID 102903, 57 p. (2021). MSC: 03B70 03B20 03B40 03D70 03D78 03F60 06B35 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Korniłowicz, Artur Flexary connectives in Mizar. (English) Zbl 1387.68207 Comput. Lang. Syst. Struct. 44, Part C, 238-250 (2015). MSC: 68T15 03B35 × Cite Format Result Cite Review PDF Full Text: DOI