2020-12-01から1ヶ月間の記事一覧
Aaronです。 アドカレ遅れてすいません。 自分の研究にちょっとだけファジー論理が出てきたのでせっかくなのでまとめたものを投稿します。 今回は意味論に絞って(MTLと呼ばれる体系などには証明論が対応して完全性定理が成り立ったりするようだが、こちらは…
Aaronです。 アドカレ遅れてすいません。 自分の研究にちょっとだけファジー論理が出てきたのでせっかくなのでまとめたものを投稿します。 今回は意味論に絞って(MTLと呼ばれる体系などには証明論が対応して完全性定理が成り立ったりするようだが、こちらは…