下方準ド・モルガン代数のシーケントによる形式化
スポンサーリンク
概要
著者
関連論文
- 半擬補分配束のシーケントによる形式化
- 擬補分配束のシ-ケントによる形式化
- 概擬補分配束のシーケントによる形式化
- 弱ストーン代数のシーケントによる形式化
- 下方準ド・モルガン代数のシーケントによる形式化
- 準ストーン代数のシーケンスによる形式化
- 弱t-ノルム代数とt-コノルム代数のシーケントによる形式化
- 含意弱半束の形式化
- 弱半束の決定問題とシーケントによる形式化
- 半束の弱い形について
- ファジイ代数の決定問題II
- MS代数とストーン代数のシーケントによる形式化
- クリプケモデルによるファジィ代数の完全性について
- ファジイ代数に関連する代数系について
- ファジイ代数の決定問題
- MS-algebraに双対な代数系について