搜索结果
跳转到导航
跳转到搜索
- 在[[数学]]中，'''武卡谢维奇逻辑'''（Łukasiewicz logic）是[[非经典逻辑|非经典]]、[[多值逻辑|多值]]逻辑。它最初由[[扬·武卡谢维奇]]定义为叫做“三价逻辑”的[[三值逻辑]]<ref name="Luk1920"> …3 KB（277个字） - 2023年8月12日 (六) 14:51
- [[Category:非經典邏輯]] …3 KB（91个字） - 2025年1月20日 (一) 17:42
- 尝试找到条件的更好翻译的非经典逻辑的介绍请参见： …3 KB（116个字） - 2022年3月21日 (一) 12:35
- 一般在非经典逻辑中，满足双重否定律的的否定叫做对合性的。在代数语义中，这样的否定被实现为在[[逻辑真值]]的代数上对合。有对合性否定的逻辑的例子有 Kleene 和… …4 KB（70个字） - 2021年5月12日 (三) 18:26
- * [[非经典逻辑]] …8 KB（237个字） - 2024年8月24日 (六) 14:01
- [[Category:非經典邏輯]] …6 KB（248个字） - 2024年6月27日 (四) 14:28
- * 按是否满足某些逻辑学规律，既 [[经典逻辑#特征]]，而分为 [[经典逻辑]]或[[非经典逻辑]]。 * 矛盾邏輯學属于[[非经典逻辑]]的中[[次协调逻辑]]。 在[[经典逻辑]]中，从矛盾中可以推导出任何东西；这叫做ex contradictione quodlibet（ECQ）， …19 KB（468个字） - 2022年12月22日 (四) 20:43
- …50 年代晚期和 1960 年代早期由[[索尔·阿伦·克里普克]]建立。它后来为另一个非经典逻辑，最重要的[[直觉逻辑]]所接受。克里普克语义的发现是非经典逻辑开发中重大突破，因为这种逻辑的[[模型论]]在克里普克之前实际上是不存在的。 …25 KB（1,919个字） - 2020年12月20日 (日) 10:44