机读格式显示(MARC)

• 000 02752nam a22005055i 4500

• 001 0000844991

• 005 20250925101000.0

• 008 130125s2000 ne | s ||0| 0|eng d

• 020 __ |a 9789401594806

• 020 __ |a 9789401594806

• 020 __ |a 9789048153367

• 024 7_ |a 10.1007/978-94-015-9480-6 |2 doi

• 035 __ |a (MH)013843313HVD01-Aleph

• 035 __ |a (Springer)9789401594806

• 040 __ |c Springer

• 050 _4 |a BC1-199

• 072 _7 |a HPL |2 bicssc

• 072 _7 |a PHI011000 |2 bisacsh

• 082 04 |a 160 |2 23

• 090 __ |a O235/X2

• 093 __ |a O235 |2 5

• 100 1_ |a Cignoli, Roberto L. O., |e author.

• 245 10 |a Algebraic Foundations of Many-Valued Reasoning / |c by Roberto L. O. Cignoli, Itala M. L. D

• 260 __ |a Dordrecht : |b Springer Netherlands : |b Imprint: Springer, |c 2000.

• 300 __ |a IX, 233 p. |b online resource. |c 24cm.

• 336 __ |a text |b txt |2 rdacontent

• 337 __ |a unmediated |b n |2 rdamedia

• 338 __ |a volume |b nc |2 rdacarrier

• 347 __ |a text file |b PDF |2 rda

• 490 1_ |a Trends in Logic, Studia Logica Library, |x 1572-6126 ; |v 7

• 520 __ |a This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as a simple proof of the completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit - a necessary prerequisite for the incorporation of a genuine addition operation into fuzzy logic. Readers interested in fuzzy control are provided with a rich deductive system in which one can define fuzzy partitions, just as Boolean partitions can be defined and computed in classical logic. Detailed bibliographic remarks at the end of each chapter and an extensive bibliography lead the reader on to further specialised topics.

• 650 24 |a Artificial Intelligence (incl. Robotics)

• 650 20 |a Logic

• 650 10 |a Philosophy

• 650 _0 |a Philosophy.

• 650 _0 |a Logic.

• 650 _0 |a Computational complexity.

• 650 _0 |a Artificial intelligence

• 650 _0 |a Algebra

• 650 _0 |a Logic, Symbolic and mathematical.

• 650 24 |a Order, Lattices, Ordered Algebraic Structures.

• 650 24 |a Mathematical Logic and Foundations.

• 650 24 |a Discrete Mathematics in Computer Science.

• 700 1_ |a Mundici, Daniele, |e author.

• 700 1_ |a D