ファジィ論理
基本的な論理公理の他に二重否定の除去も公理とし(従って直観論理ではない)、そのモデルは MV-algebra と呼ばれる。
ゲーデル・ファジィ論理は、基本ファジィ論理の特殊ケースであり、論理積はゲーデルt-norm( t ( a , b ) = min { a , b } {\displaystyle t(a,b)=\min\{a,b\}\,\!} )になっている。基本的な論理公理の他に論理積の冪等性も公理とし、そのモデルは G-algebra と呼ばれる。
プロダクト・ファジィ論理は、基本ファジィ論理の特殊ケースであり、論理積はプロダクトt-norm( t ( a , b ) = a ∗ b {\displaystyle t(a,b)=a*b\,\!} )になっている。そのモデルは product algebra と呼ばれる。
MTL(Monoidal t-norm logic)は、基本ファジィ論理を拡張したもの。
Rational Ravelka logic は、多値論理を拡張したもの。ウカシェヴィチ・ファジィ論理の拡張でもある。
これらは、いずれも命題論理(モデルはブール代数)を拡張したものである。
ヴィークルの制御や群管理。オートマチックトランスミッション、アンチロック・ブレーキ・システム、クルーズコントロール。日本の鉄道車両では仙台市交通局1000系電車が初期の導入例として知られる。
空調
CG合成ソフト(MASSIVEなど)
カメラ
デジタル画像処理(エッジ検出など)
炊飯器
食器洗い機
エレベーター
洗濯機などの家電機器
コンピュータゲームの人工知能
電子掲示板などで好ましくないテキストを排除するフィルタ
リモートセンシングでのパターン認識
マイクロコントローラやマイクロプロセッサ(Freescale 68HC12など)。