東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

An introduction to Curry systems = a...

Abe, Jair Minoro.

FindBook

Google Book

Amazon

博客來

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.
內容註:	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 Cn -- 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.
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. 280..

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:

778144
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:02422nmm a2200337 a 4500 001 2414308
003 DE-He213
005 20250826130156.0
006 m d
007 cr nn 008maaau
008 260205s2025 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 825348
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 778144
650 1 4 $a Computational Intelligence. $3 1001631
650 2 4 $a Mathematical and Computational Engineering Applications. $3 3592737
650 2 4 $a Artificial Intelligence. $3 769149
650 2 4 $a Algebra. $3 516203
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Intelligent systems reference library ; $v v. 280. $3 3790925
856 4 0 $u https://doi.org/10.1007/978-3-031-97810-4
950 $a Intelligent Technologies and Robotics (SpringerNature-42732)