吴平著2007 年出版216 页ISBN：9787561918180
本书运用形式语言学的理论对汉语句式做出专门的分析和研究，并且紧密结合汉语的特点提出语义分析过程中所需遵循的语义类的重设原则和逻辑谓词原则。本书进一步尝试把对句式所做的形式描写提升到面向计算机语...
（日）木村英树著；雷桂林，张佩茹，陈玥译2018 年出版313 页ISBN：9787100159838
全书考察分析了句法、语义、句式、篇章、语用等多个方面长期以来令海内外学者困惑的汉语问题。对具体问题的分析具有自然语言的多样性和普遍性的理论高度，为中国语言学和其他语言学的语法分析、对比研究提供...
陈仪香著2003 年出版205 页ISBN：7030112644
本书系统论述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓朴方法，建立稳定论域的逻辑表示以及格表示等。
陆汝钤著2017 年出版1856 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
陆汝钤著2017 年出版926 页ISBN：9787302414940
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义学的最新进展，适应发展迅速的并发系统等对形式语义描述的需求，着重增加了并发语义和移动计算系统的形...
陈丽萍著2012 年出版230 页ISBN：9787561457771
本书运用形式语言学理论对汉语“都”进行了语义上的研究。它从现行的分配性理论入手，着重分析了“都”在量化和焦点环境下的作用和意义，详细阐明“都”具有相互区别但又相互关联的两种语义属性：分配性和标度性...
