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

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

A RESULT ON PROPOSITIONAL LOGICS HAVING THE DISJUNCTION PROPERTYKIRK RE.1982; NOTRE DAME J. FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1982; VOL. 23; NO 1; PP. 71-74; BIBL. 6 REF.Article

THE DEGREES OF MAXIMALITY OF THE INTUITIONISTIC PROPOSITIONAL LOGIC AND SOME OF ITS FRAGMENTSDZIOBIAK W.1981; STUD. LOGICA; ISSN 0039-3215; POL; DA. 1981; VOL. 40; NO 2; PP. 195-198; BIBL. 9 REF.Article

REPRESENTATION OF HEYTING ALGEBRAS WITH COVERING AND PROPOSITIONAL INTUITIONISTIC LOGIC WITH LOCAL OPERATORBOZZI S; MELONI GC.1980; BOLL. UNIONE MAT. ITAL., A; ITA; DA. 1980; VOL. 17; NO 3; PP. 436-442; ABS. ITA; BIBL. 10 REF.Article

PROBLEME DE SEPARABILITE POUR LES LOGIQUES PROPOSITIONNELLES SUPERINTUITIONNISTESKHOMICH VI.1980; DOKL. AKAD. NAUK SSSR; ISSN 0002-3264; SUN; DA. 1980; VOL. 254; NO 4; PP. 820-823; BIBL. 12 REF.Article

MODAL INTERPRETATIONS OF THREE VALUED LOGICS. IDUFFY MJ.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 3; PP. 647-657; BIBL. 6 REF.Article

THE ELIMINABILITY OF THE ACTUALITY OPERATOR IN PROPOSITIONAL MODAL LOGICHAZEN A.1978; NOTRE DAME J. FORM. LOGIC; USA; DA. 1978; VOL. 19; NO 4; PP. 617-622; BIBL. 5 REF.Article

CONTINUITY AND COMPREHENSION IN INTUITIONISTIC FORMAL SYSTEMS.BEESON MJ.1977; PACIF. J. MATH.; U.S.A.; DA. 1977; VOL. 68; NO 1; PP. 29-40; BIBL. 6 REF.Article

METACOMPLETENESS.MEYER RK.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 501-516; BIBL. 12 REF.Article

INTUITIONISTIC MODAL LOGICS INCOMPATIBLE WITH THE LAW OF THE EXCLUDED MIDDLEVAKARELOV D.1981; STUD. LOGICA; ISSN 0039-3215; POL; DA. 1981; VOL. 40; NO 2; PP. 103-111; BIBL. 7 REF.Article

THE ENTAILEMENT OPERATOR.FACIONE PA.1977; NOTRE DAME J. FERM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 3; PP. 415-420Article

METHODS FOR AUTOMATED THEOREM PROVING IN NONCLASSICAL LOGICS.MORGAN CG.1976; I.E.E.E. TRANS. COMPUTERS; U.S.A.; DA. 1976; VOL. 25; NO 8; PP. 852-862; BIBL. 21 REF.Article