國立虎尾科技大學 |

An introduction to Curry systems = a way to algebraize paraconsistent, paracomplete, and non-alethic logic /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	An introduction to Curry systems/ by Jair Minoro Abe.
其他題名:	a way to algebraize paraconsistent, paracomplete, and non-alethic logic /
作者:	Abe, Jair Minoro.
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	xi, 122 p. :ill., digital ; : 24 cm.;
Contained By:	Springer Nature eBook
標題:	Nonclassical mathematical logic. -
電子資源:	https://doi.org/10.1007/978-3-031-97810-4
ISBN:	9783031978104

An introduction to Curry systems = a way to algebraize paraconsistent, paracomplete, and non-alethic logic /
Abe, Jair Minoro.

An introduction to Curry systemsa way to algebraize paraconsistent, paracomplete, and non-alethic logic /[electronic resource] :by Jair Minoro Abe. - Cham :Springer Nature Switzerland :2025. - xi, 122 p. :ill., digital ;24 cm. - Intelligent systems reference library,v. 2801868-4408 ;. - Intelligent systems reference library ;v. 3..

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.

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.

ISBN: 9783031978104

Standard No.: 10.1007/978-3-031-97810-4doiSubjects--Topical Terms:

743080
Nonclassical mathematical logic.

LC Class. No.: QA9.4

Dewey Class. No.: 511.31

An introduction to Curry systems = a way to algebraize paraconsistent, paracomplete, and non-alethic logic /
LDR:02422nam a2200337 a 4500 001 1166478
003 DE-He213
005 20250826130156.0
006 m d
007 cr nn 008maaau
008 251217s2025 sz s 0 eng d
020 $a 9783031978104 $q (electronic bk.)
020 $a 9783031978098 $q (paper)
024 7 $a 10.1007/978-3-031-97810-4 $2 doi
035 $a 978-3-031-97810-4
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.4
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 511.31 $2 23
090 $a QA9.4 $b .A138 2025
100 1 $a Abe, Jair Minoro. $3 665242
245 1 3 $a An introduction to Curry systems $h [electronic resource] : $b a way to algebraize paraconsistent, paracomplete, and non-alethic logic / $c by Jair Minoro Abe.
260 $a Cham : $c 2025. $b Springer Nature Switzerland : $b Imprint: Springer,
300 $a xi, 122 p. : $b ill., digital ; $c 24 cm.
490 1 $a Intelligent systems reference library, $x 1868-4408 ; $v v. 280
505 0 $a 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.
520 $a 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.
650 0 $a Nonclassical mathematical logic. $3 743080
650 1 4 $a Computational Intelligence. $3 768837
650 2 4 $a Mathematical and Computational Engineering Applications. $3 1387767
650 2 4 $a Artificial Intelligence. $3 646849
650 2 4 $a Algebra. $2 gtt $3 579870
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
830 0 $a Intelligent systems reference library ; $v v. 3. $3 775129
856 4 0 $u https://doi.org/10.1007/978-3-031-97810-4
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)