形式语义学引论（第二版）.pdf
本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。
语义学
自然语言信息处理的逻辑语义学研究.pdf
自然语言的逻辑语义学(简称逻辑语义学)是依据现代逻辑的思想或采用现代逻辑的工具研究自然语言的句法生成尤其是语义组合规律的学科，是实现自然语言计算机信息处理的先期工作。 本书以汉语信息处理为导向，以现代汉语中的反身代词、照应省略结构、话题句、兼语句、连动句、复杂谓词并列结
义项的区分与描写 : 关于多义词的认知语义学研究 : a cognitive semantic study on polysemous words.pdf
本书内容涉及西方的语言学、语言哲学中一些重要的意义理论，以及词汇语义学词典学对词义、多义的理论探索和具体处理。研究了多义词的认知语义学问题。
认知语义学视角下的跨文化商务传媒语篇研究.pdf
本书从跨文化的角度，通过对商业语篇中的隐喻、意象图式和语篇立场标记语的话语语用单位进行对比分析，解读分析认知差异及其反映出的认知过程和语言选择、生成过程。作者认为认知构建和话语分析之间存在多层次联系，所派生的语义表征使语言表达在话语互动中具有不同的意义，并映射出合理的、不同的认知
科学语义学研究.pdf
本书通过对科学语义学内涵的理解、发展趋向性的把握、研究传统差异与融合特征的分析、方法论模型的比较，力求充分揭示语义学“科学性”的本质与特征，这一方面能够为语义学的学科性确立提供更加坚实的基础和保证；另一方面也能够使得语义分析方法在哲学与科学理论研究中的作用更加明确和突显。
基于认知与计算的事件语义学研究.pdf
本书主要从认知与计算角度介绍了有关事件语义学的相关内容。主要包括：事件语义结构、事件语义关系、事件语义表示、事件语义计算及其应用等。
形式语义学的稳定论域理论.pdf
本书讲述了计算机语言形式语义的稳定论域理论中的序理论、逻辑结构和拓扑方法，论述了稳定映射的代数、拓扑刻画以及迹表示等内容。
形式语义学基础与形式说明 | 2版.pdf
本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。
逻辑语义学的组合原则研究 石运宝 著.pdf
本书首先将范畴语法和话语表现理论两大框架合并在一起，诠释了逻辑语义学的组合原则，然后梳理了具有动态特征、遵循组合性的动态谓词逻辑、动态蒙太格语法、范畴语法与话语表现理论结合的逻辑语义学系统，最后援引语义库PMB中的内容，解释英语和汉语的语言学现象和问题。
自然语言的事件语义学研究 李可胜 著.pdf
《自然语言的事件语义学研究》的内容可以分为两部分：第一部分是理论研究，即将经典外延构体论拓展为事件的多维外延构体论，并基于此构建了一个形式语义系统*MEM，与现有研究相比，*MEM可以从多个维度对事件语义做更为精细化的刻画；第二部分是以多维构体论为基础，构建了形式语义系统，通过对