• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
An Introduction to Curry Systems: A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic

An Introduction to Curry Systems: A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic

Hardcover

Series: Intelligent Systems Reference Library, Book 280

Technology & EngineeringGeneral ComputersGeneral Mathematics

ISBN10: 3031978099
ISBN13: 9783031978098
Publisher: Springer
Published: Aug 26 2025
Pages: 122
Weight: 0.82
Height: 0.38 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

General Computers