Pascal and Francis Bibliographic Databases

Help

Search results

Your search

kw.\*:("LOGIC")

Filter

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

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

Origin

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

Results 1 to 25 of 52743

  • Page / 2110

Export

Selection :

  • and

FIELD-PROGRAMMABLE ARRAYS: POWERFUL ALTERNATIVES TO RANDOM LOGICCAVLAN N; DURHAM SJ.1979; ELECTRONICS; USA; DA. 1979; VOL. 52; NO 14; PP. 109-114Article

LUKASIEWICZ LOGIC AND FUZZY SET THEORY.GILES R.1976; INTERNATION. J. MAN-MACH. STUD.; G.B.; DA. 1976; VOL. 8; NO 3; PP. 313-327; BIBL. 18 REF.Article

LOGIQUES MODALES INTUITIONNISTES ADMETTANT UNE APPROXIMATION NON FINIESOTIROV V KH.1980; MAT. ZAMET.; SUN; DA. 1980; VOL. 27; NO 1; PP. 89-94; BIBL. 3 REF.Article

SUR LA COMPLETUDE FONCTIONNELLE DANS LA LOGIQUE PROPOSITIONNELLE INTUITIONNISTERATSA MF.1982; PROBLEMY KIBERNETIKI; ISSN 507989; SUN; DA. 1982; NO 39; PP. 107-150; BIBL. 119 REF.Article

A SECOND DEDUCTION THEOREM FOR REJECTION THESES IN LUKASIEWICZ'S SYSTEM OF MODAL LOGICKROLIKOSKI SJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 3; PP. 545-548; BIBL. 6 REF.Article

AN AXIOM SYSTEM FOR THREE-VALUED LUKASIEWICZ PROPOSITIONAL CALCULUS.ITURRIOZ L.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 4; PP. 616-620; BIBL. 11 REF.Article

GENERALIZED S2-LIKE SYSTEMS OF PROPOSITIONAL MODAL LOGICBROWN MA.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 53-61; BIBL. 5 REF.Article

ON THE NONEXISTANCE OF CERTAIN NORMAL FORMS IN THE LOGIC OF PROVABILITYBOOLOS G.1982; J. SYMB. LOGIC; ISSN 0022-4812; USA; DA. 1982; VOL. 47; NO 3; PP. 638-640; BIBL. 3 REF.Article

ON A MANY-VALUED SENTENTIAL CALCULUSKAPETANOVIC M.1980; PUBL. INST. MATH. (BELGR.); ISSN 0350-1302; YUG; DA. 1980; VOL. 27; NO 41; PP. 103-106; BIBL. 2 REF.Article

FUZZY LOGIC AND APPROXIMATE REASONING FOR MIXED INPUT ARGUMENTSBALDWIN JF.1979; INTERNATION. J. MAN-MACH. STUD.; GBR; DA. 1979; VOL. 11; NO 3; PP. 381-396; BIBL. 8 REF.Article

LOCAL AND GLOBAL OPERATORS AND MANY-VALUED MODAL LOGICSMORGAN CG.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 401-411; BIBL. 4 REF.Article

THE BINARY REPRESENTATION OF M-VALUED LOGIC WITH APPLICATIONS TO UNIVERSAL DECISION ELEMENTSLOADER J.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 1; PP. 216-226; BIBL. 5 REF.Article

A DEDUCTION THEOREM FOR REJECTION THESES IN LUKASIEWICZ'S SYSTEM OF MODAL LOGICKROLIKOSKI SJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 461-464; BIBL. 1 REF.Article

A NOTE ON THREE-VALUED MODAL LOGIC.SCHOTCH PK; JENSEN JB; LARSEN PF et al.1978; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1978; VOL. 19; NO 1; PP. 63-68; BIBL. 4 REF.Article

AN AXIOMATIZATION OF HERZBERGER'S 2-DIMENSIONAL PRESUPPOSITIONAL SEMANTICS.MARTIN JN.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 378-382; BIBL. 5 REF.Article

SIGNIFICANCE AND ILLATIVE COMBINATORY LOGICSBUNDER RW.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 380-384; BIBL. 7 REF.Article

LUKASIEWICZ'S TWIN POSSIBILITY FUNCTORSKROLIKOSKI SJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 458-460Article

SIMPLIFICATION D'UN CIRCUIT LOGIQUE PAR UTILISATION DES CIRCUITS A 3 ETATS.DUCHENE J.1977; ONDE ELECTR.; FR.; DA. 1977; VOL. 57; NO 2; PP. 126-129; ABS. ANGL.; BIBL. 4 REF.Article

MODAL REDUCTION PRINCIPLES.VAN BENTHEM JFAK.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 2; PP. 301-312; BIBL. 4 REF.Article

PROBABILISTIC CONSIDERATIONS ON MODAL SEMANTICSSCHOTCH PK; JENNINGS RE.1981; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1981; VOL. 22; NO 3; PP. 227-238; BIBL. 13 REF.Article

INFINITY PROPOSITIONAL INTUITIONISTIC LOGICKALICHI C.1980; NOTRE DAME J. FORM. LOGIC; USA; DA. 1980; VOL. 21; NO 2; PP. 216-228; BIBL. 9 REF.Article

MODAL POST ALGEBRAS AND MANY-VALUED MODAL LOGICSMIRCEVA M; VAKARELOV DI.1980; DOKL. BOLG. AKAD. NAUK; BGR; DA. 1980; VOL. 33; NO 5; PP. 591-594; BIBL. 5 REF.Article

AXIOMATIZATION OF S4 TYPE MODAL LOGICS BASED ON FINITE LINEAR INTERMEDIATE LOGICSMORI S.1980; COMMENT. MATH. UNIV. ST. PAULI; ISSN 0010-258X; JPN; DA. 1980; VOL. 29; NO 1; PP. 29-43; BIBL. 6 REF.Article

INJECTION TRANSISTOR-TRANSISTOR LOGIC (I.T.T.L.)FURLAN J.1979; ELECTRON. LETTERS; GBR; DA. 1979; VOL. 15; NO 8; PP. 223-224Article

MODAL INTERPRETATIONS OF THREE-VALUED LOGIC. IIDUFFY MJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 3; PP. 658-673; BIBL. 7 REF.Article

  • Page / 2110