島根大学総合理工学研究科
ISSN:1342-7121
ダウンロード数 : ? 件
この文献の参照には次のURLをご利用ください : https://ir.lib.shimane-u.ac.jp/3351
島根大学総合理工学部紀要.シリーズB 31
1998-03 発行
Characterization Theorem of 4-valued de Morgan Logic
近藤 通朗
ファイル
内容記述（抄録等）
In this paper we give an axiom system of a non-linear 4-valued logic which we call a de Morgan logic (ML), whose Lindenbaum algebra is the de Morgan algebra with implication (MI-algebra), and show that
(1) For every MI-algebra L, there is a quotient MI-algebra L^# such that it is embeddable to the simplest 4-valued MI-algebra M = {0, a, b, 1};
(2) The Lindenbaum algebra of ML is the MI-algebra;
(3) The completeness theorem of ML is established;
(4) ML is decidable.
(1) For every MI-algebra L, there is a quotient MI-algebra L^# such that it is embeddable to the simplest 4-valued MI-algebra M = {0, a, b, 1};
(2) The Lindenbaum algebra of ML is the MI-algebra;
(3) The completeness theorem of ML is established;
(4) ML is decidable.
About This Article
Other Article