A SPECIES-ALGEBRAIC INTERPRETATION OF THE INTUITIONISTIC PROPOSITIONAL CALCULUS.JEFERI OKEE.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 2; PP. 222-232; BIBL. 5 REF.Article

A REMARK ON AXIOM-SYSTEM FOR THE CLASSICAL TWO-VALUED (->, NON ) PROPOSITIONAL LOGIC.MILICI C.1974; GLASN. MAT.; JUGOSL.; DA. 1974; VOL. 9; NO 1; PP. 3-5; ABS. SERBO-CROATE; BIBL. 6 REF.Article

A NOTE ON PROPOSITIONAL CALCULUSROSENBERG S.1972; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1972; VOL. 13; NO 4; PP. 506-510; BIBL. 2 REF.Serial Issue

TENSE TREES: A TREE SYSTEM FOR K_TCOPELAND BJ.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 3; PP. 318-322; BIBL. 6 REF.Article

EXAMPLES OF HARD TAUTOLOGIES IN THE PROPOSITIONAL CALCULUSKRISHNAMURTHY B; MOLL RN.1981; ANNUAL ASSOCIATION FOR COMPUTING MACHINERY SYMPOSIUM ON THEORY OF COMPUTING. 13/1981/MILWAUKEE WI; USA; NEW YORK: ASSOCIATION FOR COMPUTING MACHINERY; DA. 1981; PP. 28-37; BIBL. 17 REF.Conference Paper

THE DECIDABILITY OF ONE-VARIABLE PROPOSITIONAL CALCULIGLADSTONE MD.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 2; PP. 438-450; BIBL. 5 REF.Article

LEIBNIZ'S SYLLOGISTICO-PROPOSITIONAL CALCULUS.CASTANEDA HN.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 481-500; BIBL. 10 REF.Article

NATURAL DEDUCTION RULES FOR S1^O-S4^OSATRE TW.1972; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1972; VOL. 13; NO 4; PP. 565-568; BIBL. 3 REF.Serial Issue

NONCOMPACTNESS IN PROPOSITIONAL MODAL LOGICTHOMASON SK.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 716-720; BIBL. 3 REF.Serial Issue

ON THE UNIQUENESS OF THE SHORTEST SINGLE AXIOM FOR THE IMPLICATIONAL CALCULUS OF PROPOSITIONSSEKIMOTO T.1972; PROC. JAP. ACAD.; JAP.; DA. 1972; VOL. 48; NO 5; PP. 290-292; BIBL. 2 REF.Serial Issue

THE SET OF ALL TAUTOLOGIES OF THE ZERO-ORDER ALGORITHMIC LOGIC IS DECIDABLEGRABOWSKI M.1972; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1972; VOL. 20; NO 7; PP. 575-581; ABS. RUSSE; BIBL. 4 REF.Serial Issue

UNIVERSAL DECISION ELEMENTS IN M-VALUED LOGICLOADER J.1972; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1972; VOL. 18; NO 3; PP. 205-216; BIBL. 7 REF.Serial Issue

TAUTOLOGIE SANS VARIABLES PROPOSITIONNELLESROSE A.1972; C.R. ACAD. SCI, SCI., FR.; DA. 1972; VOL. 275; NO 7N; PP. 7; PP. BIBL. (4 REF.)Serial Issue

ALGEBRE DI POST MONADICHE = ALGEBRES DE POST MONOADIQUESBARTON G.1971; MATEMATICHE; ITAL.; DA. 1971; VOL. 26; NO 2; PP. 252-260; BIBL. 4 REF.Serial Issue

THE CONNECTIVE OF NECESSITY OF MODAL LOGIC S₅ IS METALOGICALDYWAN Z.1983; NOTRE DAME JOURNAL OF FORMAL LOGIC; ISSN 0029-4527; USA; DA. 1983; VOL. 24; NO 3; PP. 410-414; BIBL. 3 REF.Article

FORMULAS OF ONE PROPOSITIONAL VARIABLE IN INTUITIONISTIC ARITHMETICDE JONGH DHJ.1982; STUD. LOG. FOUND. MATH.; ISSN 0049-237X; NLD; DA. 1982; VOL. 110; PP. 51-64; BIBL. 2 P.Conference Paper

A GENERALIZED THEOREM CONCERNING A RESTRICTED RULE OF SUBSTITUTION IN THE FIELD OF PROPOSITIONAL CALCULILAMBROS CH.1979; NOTRE DAME J. FORM. LOGIC; USA; DA. 1979; VOL. 20; NO 4; PP. 760-764; BIBL. 1 REF.Article

NOTE ABOUT LUKASIEWICZ'S THEOREM CONCERNING THE SYSTEM OF AXIOMS OF THE IMPLICATIONAL PROPOSITIONAL CALCULUS.SOBOCINSKI B.1978; NOTRE DAME J. FORM LOGIC; USA; DA. 1978; VOL. 19; NO 3; PP. 457-460; BIBL. 4 REF.Article

UNE ETUDE SEMANTIQUE DE QUELQUES CALCULS PROPOSITIONNELS.LOPARIC A.1977; C.R. ACAD. SCI., A; FR.; DA. 1977; VOL. 284; NO 15; PP. 835-838; ABS. ANGL.; BIBL. 4 REF.Article

ON THE INDEPENDENCE OF THE FUNDAMENTAL OPERATIONS OF THE ALGEBRA OF SPECIES.OKEE J.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 526-530; BIBL. 6 REF.Article

THE SQUARE OF OPPOSITION.ENGLEBRETSEN G.1976; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1976; VOL. 17; NO 4; PP. 531-541Article

COMPLEXITE DES DEDUCTIONS DANS QUELQUES CALCULS PROPOSITIONNELSPOPOV SV.1975; PROBL. KIBERN.; S.S.S.R.; DA. 1975; NO 30; PP. 57-146; BIBL. 2 REF.Article

POST COMPLETENESS IN MODAL LOGICSEGERBERG K.1972; J. SYMBOL. LOGIC; U.S.A.; DA. 1972; VOL. 37; NO 4; PP. 711-715; BIBL. 10 REF.Serial Issue

SOME RESULTS ON THE INTERMEDIATE LOGICSONO H.1972; PUBL. RES. INST. MATH. SCI.; JAP.; DA. 1972; VOL. 8; NO 1; PP. 117-130; BIBL. 13 REF.Serial Issue

ROUMAIN = REPRESENTATION DES ALGEBRES DE LUKASIEWICZ POLYVALENTES DE DEGRE LOCALEMENT FINI ET INFINIGEORGESCU G.1972; STUD. CER. MAT.; ROMAN.; DA. 1972; VOL. 24; NO 7; PP. 1107-1117; ABS. ANGL.; BIBL. 6 REF.Serial Issue