東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

An introduction to Curry systems = a...

Abe, Jair Minoro.

Linked to FindBook

Google Book

Amazon

博客來

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

Record Type:	Electronic resources : Monograph/item
Title/Author:	An introduction to Curry systems/ by Jair Minoro Abe.
Reminder of title:	a way to algebraize paraconsistent, paracomplete, and non-alethic logic /
Author:	Abe, Jair Minoro.
Published:	Cham :Springer Nature Switzerland : : 2025.,
Description:	xi, 122 p. :ill., digital ;24 cm.
[NT 15003449]:	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
Subject:	Nonclassical mathematical logic. -
Online resource:	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)