An Introduction to Curry Systems
An Introduction to Curry Systems: A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic
English | 2025 | ISBN: 3031978099 | 242 Pages | PDF EPUB (True) | 5 MB
English | 2025 | ISBN: 3031978099 | 242 Pages | PDF EPUB (True) | 5 MB
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.