An Introduction to Curry Systems: A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
暫譯: 庫里系統入門：一種代數化不一致、不完全及非真理邏輯的方法

Abe, Jair Minoro

An Introduction to Curry Systems: A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
  • 出版商: Springer
  • 出版日期: 2025-08-26
  • 售價: $6,590
  • 貴賓價: 9.5 折 $6,261
  • 語言: 英文
  • 頁數: 122
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 3031978099
  • ISBN-13: 9783031978098
  • 相關分類: 離散數學 Discrete-mathematics

    • 海外代購書籍(需單獨結帳)

商品描述

This book presents a pioneering investigation of the algebraic foundations of non-classical logics. Unifying paraconsistent, paracomplete, and non-alethic structures introduces Curry Systems as a versatile and unifying framework that transcends the limitations of traditional algebraization. Through the formal development of the Cn-, Pn-, Nn-, and Pτ-algebras, as well as their first-order extensions, this book offers pre-algebraic tools for modeling contradiction, indeterminacy, and non-alethic reasoning.

Essential reading for logicians, mathematicians, philosophers of logic, and researchers in artificial intelligence, this book demonstrates how algebraic methods can rigorously capture reasoning under inconsistency and incompleteness. At once a comprehensive reference and intellectual invitation, it highlights the important role of pre-algebraic structures in the development of logical theory and intelligent systems

商品描述(中文翻譯)

本書對非經典邏輯的代數基礎進行了開創性的研究。統一的矛盾一致性、矛盾完整性和非真理結構引入了Curry系統，作為一個多功能且統一的框架，超越了傳統代數化的限制。通過對Cn-、Pn-、Nn-和Pτ-代數及其一階擴展的形式發展，本書提供了用於建模矛盾、不確定性和非真理推理的前代數工具。

本書是邏輯學家、數學家、邏輯哲學家和人工智慧研究人員的必讀書籍，展示了代數方法如何嚴謹地捕捉不一致性和不完整性下的推理。作為一部全面的參考資料和智識的邀請，它突顯了前代數結構在邏輯理論和智能系統發展中的重要角色。

作者簡介

Jair Minoro Abe received a B.A. and M.Sc. in Pure Mathematics--University of São Paulo, Brazil. Abe also received his doctoral degree and Livre-Docente title from the same university. He acted as coordinator of the Logic Area of the Institute of Advanced Studies--University of São Paulo, Brazil (1986-2019) and Full Professor at Paulista University--Brazil. He is Senior Member of IEEE.

Professor Abe is a studious of a family of Paraconsistent Annotated Logic used to solve many complex problems in engineering. He is considered one of the pioneers in this domain. He has authored/edited books on Paraconsistent and related logic published by Springer Germany and other reputed publishers.

He is the recipient of many awards, including medals for his academic performance, and has received many best paper awards.

作者簡介(中文翻譯)

賈伊爾·米諾羅·阿貝（Jair Minoro Abe）於巴西聖保羅大學（University of São Paulo, Brazil）獲得純數學的學士學位（B.A.）和碩士學位（M.Sc.）。阿貝也在同一所大學獲得博士學位及自由講師（Livre-Docente）稱號。他曾擔任聖保羅大學高等研究所（Institute of Advanced Studies--University of São Paulo, Brazil）邏輯領域的協調員（1986-2019），並在巴西保利斯塔大學（Paulista University--Brazil）擔任正教授。他是IEEE的資深會員。

阿貝教授專注於一類用於解決工程中許多複雜問題的矛盾註釋邏輯（Paraconsistent Annotated Logic）。他被認為是該領域的先驅之一。他著有/編輯了多本關於矛盾邏輯及相關邏輯的書籍，這些書籍由德國施普林格（Springer Germany）及其他知名出版社出版。

他獲得了許多獎項，包括學術表現獎勳章，並多次獲得最佳論文獎。

類似商品