EON4平台哲學系馮棉教授所著《相幹邏輯研究》，在教育部第六屆高等學校科學研究優秀成果（人文社會科學）評獎中，獲得著作類邏輯學三等獎♦️🚼。
該書系統而深入地研究了相幹命題邏輯🐝，剖析了“蘊涵怪論”生成的原因，通過細致的邏輯分析和實例分析，提出了兩類不同的“蘊涵怪論”的觀點：一類蘊涵怪論是由相幹性缺失所造成的，另一類蘊涵怪論則具有相幹性🤸🏽♀️🐃，但不是直觀上有效的推理形式。該書借鑒E. D. Mares對相幹邏輯正片段的三元關系語義所作的“情景論” (situation theory)解釋🕗，描述了相幹命題邏輯三元關系語義的“信息論解釋”🏍💺，它清晰地揭示了三元關系語義的直觀背景，也為相幹邏輯在信息論和人工智能領域的應用展示了廣闊的前景。
在此基礎上，該書構建了新型的相幹擇類語義，其特點是🧑🦯：采用“擇類運算”來刻畫邏輯常項，簡明且具有普適性。以此為基礎，通過一系列元定理🚴🏿♀️，證明了相幹邏輯系統Min、B😴🫲、DW、TW🔬、T、R相對於擇類語義的可靠性和完全性。同時，該書將相幹命題邏輯系統R和直覺主義命題邏輯系統IP結合起來，建構了相幹直覺主義命題邏輯系統RI🙎，並證明了系統RI相對於“不含*算子的三元關系語義”的可靠性與完全性。
據了解，該書是馮棉教授承擔的國家社會科學基金項目“相幹邏輯研究”的最終成果☝🏼，曾獲“EON42010年度人文社會科學推優學術著作”🪃。
