Xue, Tao; Luo, Zhaohui; Chatzikyriakidis, Stergios Propositional forms of judgemental interpretations. (English) Zbl 1540.03031 J. Logic Lang. Inf. 32, No. 4, 733-758 (2023). Reviewer: Serguei V. Solov’ev (Toulouse) MSC: 03B38 03B65 × Cite Format Result Cite Review PDF Full Text: DOI
Chatzikyriakidis, Stergios; Luo, Zhaohui Adjectival and adverbial modification: the view from modern type theories. (English) Zbl 1420.03055 J. Logic Lang. Inf. 26, No. 1, 45-88 (2017). MSC: 03B65 03B15 × Cite Format Result Cite Review PDF Full Text: DOI OA License
Chatzikyriakidis, Stergios; Luo, Zhaohui Natural language inference in Coq. (English) Zbl 1305.68193 J. Logic Lang. Inf. 23, No. 4, 441-480 (2014). MSC: 68T50 68T15 × Cite Format Result Cite Review PDF Full Text: DOI