可判定邏輯系統(decidable logic system)具有能行判定算法的邏輯系統一個邏輯系統S是可判定的,是指存在一個能行的算法,使得該算法能夠判定S中的任何公式是否可證.若使用哥德爾編碼,則可以得到更為精確的描述。
具體定義
系統子類
2.只含等號,不包含其他謂詞、函詞的公式類.
3.形為E/xlE/xZ...dxm} yu yZ"..} y A的公式類.
4.形為yxl yxz ... dxm } y, 3yZ ".. 3 y dzl yzZ "..d zA的公式類.
(在子類3和4中,A為不含量詞、函式符號與自由變元的公式)