直覺主義邏輯

直覺主義邏輯或構造性邏輯是最初由阿蘭德 · 海廷開發的爲魯伊茲 · 布勞威爾的數學直覺主義計劃提供形式基礎的符號邏輯 。 這個系統保持跨越生成導出命題的變換的證實性而不是真理性 。 從實用的觀點 ， 也有使用直覺邏輯的強烈動機 ， 因爲它有存在性質 ， 這使它還適合其他形式的數學構造主義 。