國立高雄大學圖資館 |

登入

回首頁

An introduction to Curry systemsa way to algebraize paraconsistent, paracomplete, and non-alethic logic /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	An introduction to Curry systemsby 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$q(electronic bk.)

An introduction to Curry systemsa 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.24..

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$q(electronic bk.)

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

665393
Nonclassical mathematical logic.

LC Class. No.: QA9.4

Dewey Class. No.: 511.31

An introduction to Curry systemsa way to algebraize paraconsistent, paracomplete, and non-alethic logic /
LDR:02423nmm a2200337 a 4500 001 685981
003 DE-He213
005 20250826130156.0
006 m d
007 cr nn 008maaau
008 260209s2025 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 353528
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 : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
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 665393
650 1 4 $a Computational Intelligence. $3 338479
650 2 4 $a Mathematical and Computational Engineering Applications. $3 915034
650 2 4 $a Artificial Intelligence. $3 212515
650 2 4 $a Algebra. $3 188312
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Intelligent systems reference library ; $v v.24. $3 558591
856 4 0 $u https://doi.org/10.1007/978-3-031-97810-4
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)