| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNINA9911021961303321 |
|
|
Autore |
Abe Jair Minoro |
|
|
Titolo |
An Introduction to Curry Systems : A Way to Algebraize Paraconsistent, Paracomplete, and Non-Alethic Logic / / by Jair Minoro Abe |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
|
|
|
|
|
|
|
ISBN |
|
9783031978104 |
9783031978098 |
|
|
|
|
|
|
|
|
Edizione |
[1st ed. 2025.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (192 pages) |
|
|
|
|
|
|
Collana |
|
Intelligent Systems Reference Library, , 1868-4408 ; ; 280 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Computational intelligence |
Engineering mathematics |
Engineering - Data processing |
Artificial intelligence |
Algebra |
Computational Intelligence |
Mathematical and Computational Engineering Applications |
Artificial Intelligence |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
1.Curry Systems -- 2.C n Algebras -- 3.Heyting Algebras -- 4.P n -Algebras -- 5.N n -Algebras -- 6.Algebraization Of 1 st Order Paraconsistent Systems C*n -- 7.Algebraization of 1 st Order Paracomplete Systems Pn* -- 8.Algebraization Of 1 st Order Non-Alethic Systems N n * -- 9.P Algebras & Monadic Curry Algebras Q -- 10.Alternative Algebraization of Classic Logic -- 11.Conclusion. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
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. |
|
|
|
|
|
| |