直觉主义逻辑 🎲
一种非经典逻辑，拒绝排中律和双重否定消去，强调构造性证明。
Пока нет связанных полок. Скоро появятся.
🌐 English — Intuitionistic logic
A non-classical logic that rejects the law of excluded middle and double negation elimination, emphasizing constructive proofs.
🌐 中文 — 直觉主义逻辑
一种非经典逻辑，拒绝排中律和双重否定消去，强调构造性证明。
🌐 العربية — المنطق الحدسي
منطق غير كلاسيكي يرفض قانون الوسط المرفوع وإزالة النفي المزدوج، ويؤكد على البراهين البنائية.
🌐 Español — Lógica intuicionista
Una lógica no clásica que rechaza la ley del tercero excluido y la eliminación de la doble negación, y enfatiza las pruebas constructivas.
🌐 Français — Logique intuitionniste
Une logique non classique qui rejette le principe du tiers exclu et l’élimination de la double négation, en mettant l’accent sur les preuves constructives.
🌐 de — Intuitionistische Logik
Eine nichtklassische Logik, die den Satz vom ausgeschlossenen Dritten und die Eliminierung der doppelten Negation ablehnt und konstruktive Beweise betont.
🌐 pt — Lógica intuicionista
Uma lógica não clássica que rejeita a lei do terceiro excluído e a eliminação da dupla negação, enfatizando provas construtivas.
🌐 tr — Sezgisel mantık
Dışlanmış orta yasasını ve çift olumsuzlamanın giderilmesini reddeden, yapıcı ispatları vurgulayan klasik olmayan bir mantık.
🌐 hi — अंतर्ज्ञानवादी तर्क
एक अशास्त्रीय तर्क जो बहिष्कृत मध्य के नियम और द्वि-निषेध निष्कासन को अस्वीकार करता है और रचनात्मक प्रमाणों पर बल देता है।