Cover Image

Multiple valued logic concepts and representations /

Multiple-Valued Logic: Concepts and Representations begins with a survey of the use of multiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple-value...

Full description

Bibliographic Details
Main Author: Miller, D. Michael.
Other Authors: Thornton, Mitchell Aaron.
Format: Electronic
Language:English
Published: San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool Publishers, c2008.
Series:Synthesis lectures on digital circuits and systems (Online) ; #12.
Subjects:
Many-valued logic.
Quantum logic.
Online Access:Abstract with links to full text
LEADER 05305nam a2200577 a 4500
001 3280
005 20081107134643.0
006 m e d
007 cr cn |||m|||a
008 081011s2008 caua fsab 001 0 eng d
020 # # |a 1598291912 (electronic bk.) 
020 # # |a 9781598291919 (electronic bk.) 
020 # # |a 1598291904 (pbk.) 
020 # # |a 9781598291902 (pbk.) 
024 7 # |a 10.2200/S00065ED1V01Y200709DCS012  |2 doi 
035 # # |a 187230601 (OCLC) 
035 # # |a (CaBNvSL)gtp00531448 
040 # # |a CaBNvSL  |c CaBNvSL  |d CaBNvSL 
050 # 4 |a QA9.45  |b .M555 2008 
082 0 4 |a 511.3  |2 22 
100 1 # |a Miller, D. Michael. 
245 1 0 |a Multiple valued logic  |b concepts and representations /  |c D. Michael Miller, Mitchell A. Thornton.  |h [electronic resource] : 
260 # # |a San Rafael, Calif. (1537 Fourth Street, San Rafael, CA 94901 USA) :  |b Morgan & Claypool Publishers,  |c c2008. 
300 # # |a 1 electronic text (xiii, 135 p. : ill.) :  |b digital file. 
490 1 # |a Synthesis lectures on digital circuits and systems,  |v #12  |x 1932-3174 ; 
500 # # |a Part of: Synthesis digital library of engineering and computer science. 
500 # # |a Title from PDF t.p. (viewed on October 11, 2008). 
500 # # |a Series from website. 
504 # # |a Includes bibliographical references (p. 127-134) and index. 
505 0 # |a Multiple-valued logic applications -- Introduction -- MVL in EDA-CAD methods -- Hardware description languages -- Logic synthesis -- Logic simulation -- Digital hardware testing -- Formal verification -- MVL circuit design -- Logic circuit design with MVL signals -- Memory circuits -- Computer arithmetic circuits -- Programmable logic arrays (PLAs) -- MVL circuits utilizing next-generation devices -- Resonant tunneling diodes -- Single electron transistors -- MV quantum logic -- Organization of the book -- MVL concepts and algebra -- Introduction -- Sets and relations -- Relations as graphs -- Hasse diagrams -- Finite lattices -- Algebraic structures -- Functions -- Rings -- Fields -- Boolean algebra -- Basic definition -- Alternative definitions -- Boolean normal forms -- Logic systems and algebras -- MVL operators -- Functional completeness -- Example MVL algebras based on non-modular operators -- Lukasiewicz logic -- Post logic and algebra -- Bochvar logic -- Kleene logic -- Allen and Givone algebra -- Vranesic, Lee and Smith algebra -- Example MVL algebras based on modular operators -- Cohn algebra -- Pradhan algebra -- Dubrova and Muzio algebra -- Summary of MVL algebras -- Functional representations -- Logic tables -- Hypercubes -- Maps -- Binary maps -- Multiple-valued maps -- Cube notation -- Binary cubes -- Multiple-valued cubes -- Cube representation of functions -- Operations on cubes -- Function operations -- Decision diagrams -- Binary decision diagrams -- Multiple-valued decision diagrams -- MDD implementation techniques -- Reversible and quantum circuits -- Binary reversible gates and circuits -- MVL reversible gates and circuits -- Matrix representation of reversible gates and circuits -- Quantum gates and circuits -- Quantum multiple-valued decision diagrams -- The QMDD structure -- QMDD operations -- QMDD gate matrix construction -- Row and column vectors -- Variable reordering for QMDD -- QMDD implementation -- Identity matrices -- Edge weights -- Complex number representation -- Complex number computation tables -- Unique and computed table hash functions -- QMDD applications -- Binary circuits -- Ternary circuits -- Circuit equivalence and verification -- Summary -- Bibliography. 
506 # # |a Abstract freely available; full-text restricted to subscribers or individual document purchasers. 
510 0 # |a Compendex 
510 0 # |a INSPEC 
510 0 # |a Google scholar 
510 0 # |a Google book search 
520 # # |a Multiple-Valued Logic: Concepts and Representations begins with a survey of the use of multiple-valued logic in several modern application areas including electronic design automation algorithms and circuit design. The mathematical basis and concepts of various algebras and systems of multiple-valued logic are provided including comparisons among various systems and examples of their application. The book also provides an examination of alternative representations of multiple-valued logic suitable for implementation as data structures in automated computer applications. Decision diagram structures for multiple-valued applications are described in detail with particular emphasis on the recently developed quantum multiple-valued decision diagram. 
530 # # |a Also available in print. 
538 # # |a Mode of access: World Wide Web. 
538 # # |a System requirements: Adobe Acrobat Reader. 
650 # 0 |a Many-valued logic. 
650 # 0 |a Quantum logic. 
690 # # |a Multiple-valued logic. 
690 # # |a Quantum logic. 
690 # # |a Reversible logic. 
690 # # |a Decision diagram. 
690 # # |a QMDD. 
690 # # |a Algebra. 
700 1 # |a Thornton, Mitchell Aaron. 
730 0 # |a Synthesis digital library of engineering and computer science. 
830 # 0 |a Synthesis lectures on digital circuits and systems (Online) ;  |v #12. 
856 4 2 |u https://ezaccess.library.uitm.edu.my/login?url=http://dx.doi.org/10.2200/S00065ED1V01Y200709DCS012  |3 Abstract with links to full text 

Similar Items