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

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

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

Error correctable many-valued majority elementsYAMAMOTO, Y; FUJITA, S.Transactions of the Institute of Electronics and Communication Engineers of Japan. Section E. 1984, Vol 67, Num 1, pp 47-48, issn 0387-236XArticle

Efficiently computing communication complexity for multilevel logic synthesisTING TING HWANG; OWENS, R. M; IRWIN, M. J et al.IEEE transactions on computer-aided design of integrated circuits and systems. 1992, Vol 11, Num 5, pp 545-554, issn 0278-0070Article

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

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

THE ROLE OF NEGATION IN PRESUPPOSITION THEORYMARTIN JN.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 323-328; BIBL. 12 REF.Conference Paper

COMPLETUDE SPECIALE DE QUELQUES LANGAGES DES LOGIQUES K-VALENTESMOSHCHENSKIJ VA.1981; METODY DISKRETN. ANAL.; SUN; DA. 1981; NO 36; PP. 39-45; BIBL. 2 REF.Article

THE DEPTH OF MONOTONE FUNCTIONS IN MULTIVALUED LOGICHENNO J.1979; INFORM. PROCESSG LETTERS; NLD; DA. 1979; VOL. 8; NO 4; PP. 176-177; BIBL. 2 REF.Article

UNE AXIOMATISATION DE LA LOGIQUE DEONTIQUE A UNE INFINITE DE VALEURS.CALUDE C.1976; REV. ROUMAINE MATH. PURES APPL.; ROUMAN.; DA. 1976; VOL. 21; NO 3; PP. 267-273; BIBL. 7 REF.Article

TOPOLOGICAL REPRESENTATION OF LUKASIEWICZ AND POST ALGEBRAS.CIGNOLI R.1974; NOTAS LOGICA MAT.; ARGENT.; DA. 1974; NO 33; PP. 1-20; BIBL. 1 P. 1/2Article

FURTHER TOWARDS A TRIADIC CALCULUS. ILONGYEAR CR.1972; J. CYBERN.; U.S.A.; DA. 1972; VOL. 2; NO 1; PP. 50-65Serial Issue

GENERALIZED MODAL SETSTURQUETTE AR.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 3; PP. 261-266; BIBL. 8 REF.Serial Issue

QUELQUES PROPRIETES DES ALGEBRES DE MORGANSTATE L.1971; IN: LOGIQUE AUTOM. INF.; BUCAREST; ACAD. REPUB. SOC. ROUMANIE; DA. 1971; PP. 195-207; BIBL. 15 REF.Book

SUR LES ALGEBRES DE LUKASIEWICZBOICESCU V.1971; IN: LOGIQUE AUTOM. INF.; BUCAREST; ACAD. REPUB. SOC. ROUMANIE; DA. 1971; PP. 71-89; BIBL. 33 REF.Book

REMARQUES SUR UNE CLASSE DE FONCTIONS PARTIELLES D'UNE LOGIQUE A VALEURS DENOMBRABLESSOKOLOV VA.1971; DISKRETN. ANAL.; S.S.S.R.; DA. 1971; NO 19; PP. 56-62; BIBL. 6 REF.Serial Issue

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

Digital simulation with multiple logic valuesHAYES, J. P.IEEE transactions on computer-aided design of integrated circuits and systems. 1986, Vol 5, Num 2, pp 274-283, issn 0278-0070Article

A BRIDGE BETWEEN TWO-VALUED AND MANY-VALUED SEMANTIC SYSTEMS: N-TUPLE SEMANTICSBATENS D.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 318-322; BIBL. 6 REF.Conference Paper

MANY-VALUED LOGICS BASED ON L-ALGEBRAS OR ON P-ALGEBRASROBBEL G.1980; BULL. ACAD. POL. SCI., SCI. MATH.; POL; DA. 1980; VOL. 28; NO 11-12; PP. 529-533; ABS. RUS; BIBL. 5 REF.Article

THE NOTION OF CONSEQUENCE IN MANY-VALUED LOGICALBERT P.1980; COMPUT. LINGUIST. COMPUT. LANG.; ISSN 0324-2048; HUN; DA. 1980; VOL. 14; PP. 165-181; BIBL. 3 REF.Article

ETUDE DES TRESSES DE GUTMANN EN ALGEBRE A P VALEURS.KERGALL Y.1974; MATH. SCI. HUM.; FR.; DA. 1974; NO 46; PP. 5-19; ABS. ANGL.; BIBL. 6 REF.Article