Generation of disjoint cubes for multiple-valued functionsFALKOWSKI, Bogdan J; LOZANO, Cicilia C; RAHARDJA, Susanto et al.IEEE International Symposium on Circuits and Systems. 2004, pp 133-136, isbn 0-7803-8251-X, 4 p.Conference Paper

On the categorizing of simply separable relations in partial four-valued logicRENREN LIU; ZHIWEI GONG; FEN XU et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28323-4, 3Vol, Part 3, 1251-1256Conference Paper

An interpolation theorem in many-valued logicHANAZAWA, M; TAKANO, M.The Journal of symbolic logic. 1986, Vol 51, Num 2, pp 448-452, issn 0022-4812Article

Multivalued logic integral calculusGIUMA, T. A; ABDOLLAH KATBAB.International journal of electronics. 1988, Vol 65, Num 6, pp 1051-1066, issn 0020-7217Article

Systematization of finite many-valued logics through the method of tableauxCARNIELLI, W. A.The Journal of symbolic logic. 1987, Vol 52, Num 2, pp 473-493, issn 0022-4812Article

UEBER KETTENLAENGEN DER TEILWEISE GEORDNETEN MENGE PHI _K DER VERTAUSCHBARKEITSMENGEN DER K-WERTIGEN LOGIK. = SUR LES LONGUEURS DE CHAINES DE L'ENSEMBLE PARTIELLEMENT ORDONNE PHI _K DES ENSEMBLES ECHANGEABLES DE LA LOGIQUE A K VALEURSHARNAU W.1976; MATH. NACHR.; DTSCH.; DA. 1976; VOL. 68; PP. 289-297; BIBL. 6 REF.Article

Uniform description of calculi for all t-norm logicsAGUZZOLI, Stefano.International Symposium on Multiple-Valued Logic. 2004, pp 38-43, isbn 0-7695-2130-4, 1Vol, 6 p.Conference Paper

On fuzzy preference relationsOVCHINNIKOV, S.International journal of intelligent systems. 1991, Vol 6, Num 2, pp 225-234, issn 0884-8173, 10 p.Article

Multiple-valued-digit number representations in arithmetic circuit algorithmsTAKAGI, Naofumi.Proceedings - International Symposium on Multiple-Valued Logic. 2002, pp 224-235, issn 0195-623X, isbn 0-7695-1462-6, 12 p.Conference Paper

An idea of the test pattern generator for the pseudorandom testing of MVL circuitsJANASZEK, Agnieszka; MITAS, Andrzej.International conference on advanced computer systems. 2000, pp 333-336, isbn 83-87362-24-7Conference Paper

Towards a many-valued logic of quantified belief: the information latticeDRIANKOV, D.International journal of intelligent systems. 1991, Vol 6, Num 2, pp 135-166, issn 0884-8173, 32 p.Article

Monoids whose centralizer is the least cloneMACHIDA, Hajime; ROSENBERG, Ivo G.International Symposium on Multiple-Valued Logic. 2004, pp 102-108, isbn 0-7695-2130-4, 1Vol, 7 p.Conference Paper

Design of dynamic Reliability IndicesZAITSEVA, Elena N; LEVASHENKO, Vitaly G.Proceedings - International Symposium on Multiple-Valued Logic. 2002, pp 144-148, issn 0195-623X, isbn 0-7695-1462-6, 5 p.Conference Paper

Fault-tolerant system using 3-value logic circuitsHU, M; MOUFTAH, H. T.IEEE transactions on reliability. 1987, Vol 36, Num 2, pp 227-231, issn 0018-9529Article

Evaluation of static variable ordering heuristics for MDD constructionDRECHSLER, Rolf.Proceedings - International Symposium on Multiple-Valued Logic. 2002, pp 254-260, issn 0195-623X, isbn 0-7695-1462-6, 7 p.Conference Paper

Programming in three-valued logicDELAHAYE, J. P; THIBAU, V.Theoretical computer science. 1991, Vol 78, Num 1, pp 189-216, issn 0304-3975, 28 p.Article

Characterization theorem of lattice implication algebrasKONDO, Michiro.International Symposium on Multiple-Valued Logic. 2004, pp 257-260, isbn 0-7695-2130-4, 1Vol, 4 p.Conference Paper

Matrix method for solving multivalued logic differential equationsYANUSHKEVICH, S. N.IEE proceedings. Computers and digital techniques. 1997, Vol 144, Num 5, pp 267-272, issn 1350-2387Article

A numerical computation for declarative expressionsMIRO, J; MIRO-JULIA, M.Lecture notes in computer science. 1997, pp 238-251, issn 0302-9743, isbn 3-540-63811-3Conference Paper

Contribution au traitement logico-symbolique de la connaissance = A contribution to logico-symbolic treatment of knowlodgePacholczyk, Daniel; De Gas, Michel.1992, 626 p.Thesis

Generating essential primes for a boolean function with multiple-valued inputsKUO, Y. S.IEEE transactions on computers. 1987, Vol 36, Num 3, pp 356-359, issn 0018-9340Article

A systolic SBNR adaptive signal processorANDREWS, M.IEEE journal of solid-state circuits. 1986, Vol 21, Num 1, pp 120-128, issn 0018-9200Article

An asymptotically tight bound on countermodels for Łukasiewicz logicAGUZZOLI, Stefano.International journal of approximate reasoning. 2006, Vol 43, Num 1, pp 76-89, issn 0888-613X, 14 p.Article

Applying logic of multiple-valued argumentation to eastern arguments : Software Agent and its ApplicationsSAWAMURA, Hajime; TAKAHASHI, Takehisa.IEICE transactions on information and systems. 2005, Vol 88, Num 9, pp 2021-2030, issn 0916-8532, 10 p.Article

PLI logic for multiple-valued functionsFALKOWSKI, B. J; RAHARDJA, S.IEE proceedings. Computers and digital techniques. 2001, Vol 148, Num 1, pp 7-14, issn 1350-2387Article