內容簡介
分析表列是20世紀50年代由Beth與Hintikka等人建立、後由Smullyan加以發展的一種形式證明方法，基於分析表列方法的邏輯繫統稱為表列繫統。表列繫統與公理繫統、自然推理繫統一樣，是目前很為流行的邏輯證明方法之一，在自動定理證明方面有重要應用。表列方法具有通用於各種邏輯的一般性，不僅經典命題邏輯和一階謂詞邏輯有其表列，在模態邏輯、非單調邏輯等非經典邏輯分支中，表列方法也以不同的形式存在著。自20世紀90年代以來，人們對於表列方法的興趣不斷增加，在許多前沿邏輯研究中廣泛采用表列方法。根據JonBarwise在《什麼是一個邏輯繫統？》中對邏輯繫統多樣性的闡述，有理由將表列繫統作為與公理繫統、自然推演繫統等並列的一種重要的邏輯繫統類型、將表列法作為一種重要的邏輯方法加以研究。《邏輯中的表列方法》比較繫統地介紹了現代邏輯各個重要分支的表列方......
