皮尔士存在图的线性记法

皮尔士存在图是现代逻辑诞生时期对量化理论和模态逻辑等领域的贡献。存在图二维记法的一个变种——线性记法——是自皮尔士以来的一个研究方向。相对于二维记法的存在图系统,线性记法的存在图所受到的关注较少,其中以E.哈默(Eric Hammer)的工作最为系统。从20世纪90年代开始,哈默分别研究了存在图系统第一部分Alpha图和第二部分Beta图的线性记法,为Alpha图建立了形式系统并证明了系统的完全性定理,而对Beta图则只研究了句法和语义方面。