Algebraic Foundations of Many-Valued Reasoning
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Kluwer Academic Publishers (1999)
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.
|Keywords||Many-valued logic Proposition (Logic|
|Categories||categorize this paper)|
|Buy the book||$153.14 new (27% off) $209.00 direct from Amazon $224.45 used Amazon page|
|Call number||QA9.45.C54 1999|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Antonio Ledda, Martinvaldo Konig, Francesco Paoli & Roberto Giuntini (2006). MV-Algebras and Quantum Computation. Studia Logica 82 (2):245 - 270.
Vincenzo Marra & Luca Spada (2013). Duality, Projectivity, and Unification in Łukasiewicz Logic and MV-Algebras. Annals of Pure and Applied Logic 164 (3):192-210.
Roberto Giuntini, Antonio Ledda & Francesco Paoli (2007). Expanding Quasi-MV Algebras by a Quantum Operator. Studia Logica 87 (1):99 - 128.
Franco Montagna (2011). Completeness with Respect to a Chain and Universal Models in Fuzzy Logic. Archive for Mathematical Logic 50 (1-2):161-183.
Xavier Caicedo (2004). Implicit Connectives of Algebraizable Logics. Studia Logica 78 (1-2):155 - 170.
Similar books and articles
Richard DeWitt (2005). On Retaining Classical Truths and Classical Deducibility in Many-Valued and Fuzzy Logics. Journal of Philosophical Logic 34 (5/6):545 - 560.
Grzegorz Malinowski (1993). Many-Valued Logics. Oxford University Press.
Yoshihiro Maruyama (2010). Fuzzy Topology and Łukasiewicz Logics From the Viewpoint of Duality Theory. Studia Logica 94 (2):245 - 269.
Helena Rasiowa (1979). Algorithmic Logic. Multiple-Valued Extensions. Studia Logica 38 (4):317 - 335.
Peter Milne (2004). Algebras of Intervals and a Logic of Conditional Assertions. Journal of Philosophical Logic 33 (5):497-548.
Roberto Cignoli (1991). Complete and Atomic Algebras of the Infinite Valued Łukasiewicz Logic. Studia Logica 50 (3-4):375 - 384.
Walter Sinnott-Armstrong & Amit Malhotra (2002). How to Avoid Deviance (in Logic). History and Philosophy of Logic 23 (3):215--36.
Lars Hansen (2005). On an Algebra of Lattice-Valued Logic. Journal of Symbolic Logic 70 (1):282 - 318.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?