他の論理との関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/03/25 04:07 UTC 版)
直観主義論理は双対性によって矛盾許容論理の一種であり、ブラジリアン論理、反直観主義論理、双対直観主義論理などと呼ばれる論理と対応している。 直観主義論理から爆発原理を取り除いたものは最小論理として知られる。
※この「他の論理との関係」の解説は、「直観主義論理」の解説の一部です。
「他の論理との関係」を含む「直観主義論理」の記事については、「直観主義論理」の概要を参照ください。
他の論理との関係
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/07/26 19:31 UTC 版)
線形時相論理(LTL) は CTL* (英語版) の一部である。 LTLは、後者(successor、ペアノの公理参照)と「小なり」の関係についての一階述語論理 FO[S,<] と等価である。また、クリーネスターのない正規表現や loop complexity が 0 であるような決定性有限オートマトンも LTL と等価である。
※この「他の論理との関係」の解説は、「線形時相論理」の解説の一部です。
「他の論理との関係」を含む「線形時相論理」の記事については、「線形時相論理」の概要を参照ください。
- 他の論理との関係のページへのリンク