Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LOGIQUE TRIVALENTE")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Language

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 213

  • Page / 9
Export

Selection :

  • and

IMPLEMENTATION OF LUKASIEWICZ'S, KLEENE'S AND MCCARTHY'S 3-VALUED LOGICS.NAGATA M; NAKANISHI M; NISHIMURA T et al.1975; SCI. REP. TOKYO KYOIKU DAIGAKU, A; JAP.; DA. 1975; VOL. 13; NO 347-365; PP. 90-99; BIBL. 11 REF.Article

LES ALGEBRES DE HEYTING-BROUWER ET DE TUKASIEWICZ TRIVALENTES.ITURRIOZ L.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 1; PP. 119-126; BIBL. 1 P.Article

SIGNIFICANCE LOGICS.BRADY RT.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 161-183; BIBL. 9 REF.Article

A NEW CLASSIFICATION OF LOGIC FUNCTIONS OF THREE VARIABLESRAGUPATHI S; VENKATESWARDU G; SINGH MP et al.1981; PROC. IEEE; ISSN 0018-9219; USA; DA. 1981; VOL. 69; NO 12; PP. 1592-1594; BIBL. 11 REF.Article

SEMANTIC REPRESENTATION OF LOGICAL OPERATORS OF PROGRAMMING LANGUAGES BY MEANS OF THREE-VALUED TRUTH TABLESGOTTLOB G.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 81-87; BIBL. 5 REF.Conference Paper

THE FORMAL SYSTEM FOR VARIOUS 3-VALUED LOGICS I.NISHIMURA T; OHYA T.1975; SCI. REP. TOKYO KYOIKU DAIGAKU, A; JAP.; DA. 1975; VOL. 13; NO 347-365; PP. 7-22; BIBL. 4 REF.Article

A METHOD FOR FINDING FORMULAE CORRESPONDING TO FIRST ORDER UNIVERSAL DECISION ELEMENTS IN M-VALUED LOGIC.LOADER J.1974; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1974; VOL. 20; NO 1; PP. 1-18; BIBL. 5 REF.Article

A THEORY OF CLASSES AND INDIVIDUALS BASED ON A 3-VALUED SIGNIFICANCE LOGICBRADY RT.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 385-414; BIBL. 12 REF.Article

THE EXTENDED CALCULUS OF INDICATIONS INTERPRETED AS A THREE-VALUED LOGICVARELA FJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 141-146; BIBL. 14 REF.Article

ON SOME MODAL LOGICS RELATED TO THE POUNDS-MODAL SYSTEM.WILSON RL.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 191-206; BIBL. 7 REF.Article

QUASI-BOOLEAN ALGEBRAS, EMPIRICAL CONTINUITY AND THREE-VALUED LOGIC.CLEAVE JP.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 6; PP. 481-500; BIBL. 13 REF.Article

CALCUL DES PREDICATS TRIVALENTFORT M.1973; C.R. ACAD. SCI., A; FR.; DA. 1973; VOL. 276; NO 19; PP. 1257-1260; BIBL. 4 REF.Serial Issue

TERNARY ADDER AND SUBTRACTOR USING TERNARY MULTIPLEXERSHIVASHANKAR HN; SHIVAPRASAD AP.1983; INTERNATIONAL JOURNAL OF ELECTRONICS THEORETICAL & EXPERIMENTAL; ISSN 0020-7217; GBR; DA. 1983; VOL. 54; NO 2; PP. 201-209; BIBL. 9 REF.Article

A MINIMAL BOOLEAN COMPLETION OF A THREE-VALUED LUKASIEWICZ ALGEBRAITURRIOZ L.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 22-26; BIBL. 11 REF.Conference Paper

ON THE RELATION OF THREE-VALUED LOGIC TO MODEL LOGICBENDOVA K.1981; COMMENTAT. MATH. UNIV. CAROL.; ISSN 0323-0171; CSK; DA. 1981; VOL. 22; NO 4; PP. 637-653; BIBL. 8 REF.Article

TERNARY RATE-MULTIPLIERSMOUFTAH HT; SMITH KC; VRANESIC ZG et al.1980; IEEE TRANS. COMPUT.; ISSN 0018-9340; USA; DA. 1980; VOL. 29; NO 10; PP. 929-931; BIBL. 11 REF.Article

L'IMPLICATION DANS LA LOGIQUE A TROIS VALEURS CONSIDEREE COMME UNE FONCTION EXPONENTIELLESHESHELJA B; VOJVOGICJ G.1974; MAT. VES.; JUGOSL.; DA. 1974; VOL. 11; NO 2; PP. 137-142; ABS. ANGL.; BIBL. 7 REF.Article

DEPENDENCE OF SOME AXIOMS OF ROSEPARKS Z.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 2; PP. 189-192; BIBL. 2 REF.Serial Issue

ARBORESCENCES ET LOGIQUE A TROIS VALEURS. APPLICATION A LA MODELISATION ET A L'ENSEIGNEMENT DE LA LOGIQUE DU DIAGNOSTICMONT REYNAUD BM.1972; ; S.L.; DA. 1972; PP. (206); BIBL. 3 P.; (THESE DOCT. 3EME CYCLE, SPEC. MATH. APPL., MENTION INF.; UNIV. PARIS VI; 1972)Thesis

TOWARD A CLASSIFICATION OF MINIMAL CLOSED SETS IN 3-VALUED LOGICMACHIDA H.1982; INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. 12/1982-05-25/PARIS; USA; NEW YORK: IEEE; DA. 1982; PP. 313-317; BIBL. 11 REF.Conference Paper

A FUNCTIONALLY-COMPLETE TERNARY SYSTEM.TOKMEN VH.1978; ELECTRON. LETTERS; G.B.; DA. 1978; VOL. 14; NO 3; PP. 69-71; BIBL. 12 REF.Article

EIN BEITRAG ZU DER GUHA METHODE IN DER DREIWERTIGEN LOGIK. = CONTRIBUTION A LA METHODE GUHA EN LOGIQUE TRIVALENTERAUCH J.1975; KYBERNETIKA; CESKOSL.; DA. 1975; VOL. 11; NO 2; PP. 101-113; BIBL. 5 REF.Article

CONSTRUCTION DES ALGEBRES DE LUKASIEWICZ TRIVALENTES DANS LES ALGEBRES DE BOOLE MONADIQUE. I.MONTEIRO A.1974; NOTES LOGICA MAT.; ARGENT.; DA. 1974; NO 9-11; PP. (23P.); BIBL. 1 P. 1/2Article

SELF-DUAL SETS OF UNARY AND BINARY CONNECTIVES FOR THE 3-VALUED PROPOSITIONAL CALCULUSLEIGH V.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 3; PP. 201-204; BIBL. 4 REF.Serial Issue

A THREE-VALUED FREE LOGIC FOR PRESUPPOSITIONAL LANGUAGESCOSGROVE RJ JR.1980; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1980; VOL. 21; NO 3; PP. 549-571; BIBL. 22 REF.Article

  • Page / 9