非古典論理
非古典論理(ひこてんろんり、non-classical logic(s))
古典論理
に分類されないやつ。
様相論理
時相論理
線形時相論理 (LTL)
計算木論理 (CTL)
CTL*
これなんなのかまだよくわかってない
『モデル検査入門』
に書いてある
義務論理
直観主義論理
下記はWikipediaより抽出。なんもわからん。
量子論理
矛盾許容論理
(
パラコンシステント論理
)
動的意味論
多値論理
適切さの論理
線形論理
参考
https://ja.wikipedia.org/wiki/非古典論理?wprov=sfti1
更新履歴
2024-09-07 矛盾許容論理 = パラコンシステント論理