---

＜電子ブック＞
Algebraic Foundations of Many-Valued Reasoning / by R.L. Cignoli, Itala M. d'Ottaviano, Daniele Mundici
(Trends in Logic, Studia Logica Library. ISSN:22127313 ; 7)

版	1st ed. 2000.
出版者	(Dordrecht : Springer Netherlands : Imprint: Springer)
出版年	2000
本文言語	英語
大きさ	IX, 233 p. 1 illus : online resource
著者標目	*Cignoli, R.L author d'Ottaviano, Itala M author Mundici, Daniele author SpringerLink (Online service)
件　名	LCSH:Mathematical logic LCSH:Logic LCSH:Algebra LCSH:Computer science -- Mathematics  全ての件名で検索 LCSH:Discrete mathematics LCSH:Artificial intelligence FREE:Mathematical Logic and Foundations FREE:Logic FREE:Order, Lattices, Ordered Algebraic Structures FREE:Discrete Mathematics in Computer Science FREE:Artificial Intelligence
一般注記	1 Basic notions -- 2 Chang completeness theorem -- 3 Free MV-algebras -- 4 ?ukasiewicz ?-valued calculus -- 5 Ulam’s game -- 6 Lattice-theoretical properties -- 7 MV-algebras and ?-groups -- 8 Varieties of MV-algebras -- 9 Advanced topics -- 10 Further Readings HTTP:URL=https://doi.org/10.1007/978-94-015-9480-6

 類似資料