On the Logical Structure of Mix-valued Programs and the omega+-valued Algorithmic Logic. - Helena Rasiowa (Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys., 1973)

Formalized omega+-valued Algorithmic Systems. - Helena Rasiowa (Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys., 1973)

omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. - Helena Rasiowa (MFCS, 1974)

Logic of complex algorithms. - Helena Rasiowa (FCT, 1979)

Completeness in Classical Logic of Complex Algorithms. - Helena Rasiowa (MFCS, 1980)

Theories of interacting stacks. - Helena Rasiowa (Symposium on Computation Theory, 1984)

Rough concepts logic. - Helena Rasiowa; Andrzej Skowron (Symposium on Computation Theory, 1984)

Approximation logic. - Helena Rasiowa; Andrzej Skowron (Mathematical Methods of Specification and Synthesis of Software Systems, 1985)

Topological representations of Post algebras of order ω+ and open theories based on ω+-valued Post logic. - Helena Rasiowa (Stud Logica, 1985)

Approximating Sets with Equivalence Relations. - V. Wiktor Marek; Helena Rasiowa (Theor. Comput. Sci., 1986)

Logic of Approximation Reasoning. - Helena Rasiowa (CSL, 1987)

Approximation Reasoning and Scott's Information Systems. - Helena Rasiowa; George Epstein (ISMIS, 1987)

Semi-Post algebras. - Nguyen Cat Ho; Helena Rasiowa (Stud Logica, 1987)

Subalgebras and homomorphisms of semi-Post algebras. - Nguyen Cat Ho; Helena Rasiowa (Stud Logica, 1987)

Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability. - Nguyen Cat Ho; Helena Rasiowa (Stud Logica, 1989)

Theory and Uses of Post Algebras of Order omega+omegaw ast.I. - George Epstein; Helena Rasiowa (ISMVL, 1990)

Theory and Uses of Post Algebras of Order omega+ omega ast. Part II. - George Epstein; Helena Rasiowa (ISMVL, 1991)

Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. - Helena Rasiowa (Int. J. Approx. Reason., 1991)

Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). - Helena Rasiowa; V. Wiktor Marek (ISMIS, 1993)

Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. - Helena Rasiowa; V. Wiktor Marek (J. Intell. Inf. Syst., 1993)

Axiomatization and completeness of uncountably valued approximation logic. - Helena Rasiowa (Stud Logica, 1994)

In Memoriam Cecylia Rauszer. - Helena Rasiowa (Stud Logica, 1994)

A partially ordered extention of the integers. - George Epstein; Helena Rasiowa (Stud Logica, 1995)