薛涛;罗朝晖;斯特吉奥斯·查齐基里亚基迪斯 判断性解释的命题形式。 （英语） Zbl 07753648号 J.逻辑语言信息。 32，第4期，733-758（2023年）.MSC公司：03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Xue}等人，J.Logic Lang.Inf.32，No.4，733--758（2023；Zbl 07753648） 全文： 内政部
理查德·穆特;克里斯蒂安·雷托雷 自然语言语义和可计算性。 （英语） Zbl 1477.03112号 J.逻辑语言信息。 28，第2期，287-307（2019）.MSC公司：03B65号 03B47号 第03页 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{R.Moot}和\textit{C.Retoré}，J.Logic Lang.Inf.28，No.2，287--307（2019；Zbl 1477.03112） 全文： 内政部 arXiv公司
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 形容词和状语修饰：现代类型理论的观点。 （英语） Zbl 1420.03055号 J.逻辑语言信息。 26，第1期，45-88（2017）.MSC公司：03B65号 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo}，J.Logic Lang.Inf.26，No.1，45-88（2017；Zbl 1420.03055） 全文： 内政部
斯特吉奥斯·查齐基里亚基迪斯;罗朝晖 自然语言语义的证明助手。 （英语） Zbl 1483.68456号 Amblard，Maxime（编辑）等人，《计算语言学的逻辑方面》。庆祝LACL成立20周年（1996-2016）。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10054, 85-98 (2016).MSC公司：68T50型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chatzikyriakidis}和\textit{Z.Luo}，Lect。注释计算。科学。10054，85-98（2016；Zbl 1483.68456） 全文： 内政部