Model Theory for an Extension of Intuitionistic LogicRAUSZER C.Studia Logica. 1977, Vol 36, Num 1-2, pp 73-87Article

Applications of Kripke Models to Heyting-Brouwer LogicRAUSZER C.Studia Logica. 1977, Vol 36, Num 1-2, pp 61-71Article

A FORMALIZATION OF THE PROPOSITIONAL CALCULUS OF H-B LOGICRAUSZER C.STUDIA LOGICA. 1974, Vol 33, Num 1, pp 23-34Article

Notes on the Rassiowa-Sikorski LemmaRAUSZER C; SABALSKI B.Studia Logica. 1975, Vol 34, Num 3, pp 265-268Article

THE CRAIG INTERPOLATION THEOREM FOR AN EXTENSION OF INTUITIONISTIC LOGIC.RAUSZER C.1977; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1977; VOL. 25; NO 4; PP. 337-341; ABS. RUSSE; BIBL. 3 REF.Article

ON THE STRONG SEMANTICAL COMPLETENESS OF ANY EXTENSION OF THE INTUITIONISTIC PREDICATE CALCULUS.RAUSZER C.1976; BULL. ACAD. POLON. SCI., SCI. MATH. ASTR. PHYS.; POLOGNE; DA. 1976; VOL. 24; NO 2; PP. 81-87; ABS. RUSSE; BIBL. 3 REF.Article

AN ALGEBRAIC AND KRIPKE-STYLE APPROACH TO A CERTAIN EXTENSION OF INTUITIONISTIC LOGICRAUSZER C.1980; DISSERT. MATH.; POL; DA. 1980; VOL. 167; 67 P.; BIBL. 22 REF.Serial Issue

LOGICAL FOUNDATION APPROACH TO USERS' DOMAIN RESTRICTION IN DATA BASESJANKOWSKI A; RAUSZER C.1983; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1983; VOL. 23; NO 1; PP. 11-36; BIBL. 6 REF.Article

An equivalence between theory of functional dependencies and a fragment of intuitionistic logicRAUSZER, C. M.Bulletin of the Polish academy of sciences. Mathematics. 1985, Vol 33, Num 9-10, pp 571-579Article

Remarks on logic for dependenciesRAUSZER, C. M.Bulletin of the Polish academy of sciences. Mathematics. 1986, Vol 34, Num 3-4, pp 249-252Article