PREFIXED TABLEAUS FOR THREE-VALUEDMODAL PROPOSITIONAL LOGICS

Proceedings of the Estonian Academy of Sciences. Physics. Mathematics Pub Date : 1900-01-01 DOI:10.3176/phys.math.1998.3.03

J. Sakalauskaite

引用次数: 0

Abstract

. Prefixed tableau systems for some of the three-valued modal propositional logics are given. The soundness and completeness theorems for these tableau systems with respect to Kripke-type semantics are proved.

查看原文本刊更多论文

三值模态命题逻辑的前缀表

。给出了一些三值模态命题逻辑的前置表系统。证明了这些表系统在kripke型语义下的完备性定理和完备性定理。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of the Estonian Academy of Sciences. Physics. Mathematics

自引率

0.00%

发文量