An Introduction to Curry Systems : A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic (Intelligent Systems Reference Library)

Abe, Jair Minoro

Springer International Publishing AG（2025/09発売）

• 製本 Hardcover:ハードカバー版／ページ数 180 p.
• 言語 ENG
• 商品コード 9783031978098

Full Description

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.