Helena Rasiowa

According to our database, Helena Rasiowa authored at least 23 papers between 1973 and 1995.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1995

A partially ordered extention of the integers.

George Epstein, Helena Rasiowa

Stud Logica, 1995

1994

In Memoriam Cecylia Rauszer.

Helena Rasiowa

Stud Logica, 1994

Axiomatization and completeness of uncountably valued approximation logic.

Helena Rasiowa

Stud Logica, 1994

1993

Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing.

Helena Rasiowa, V. Wiktor Marek

J. Intell. Inf. Syst., 1993

Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract).

Helena Rasiowa, V. Wiktor Marek

Proceedings of the Methodologies for Intelligent Systems, 7th International Symposium, 1993

1991

Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents.

Helena Rasiowa

Int. J. Approx. Reason., 1991

Theory and Uses of Post Algebras of Order \omega+\omega\ast. Part II.

George Epstein, Helena Rasiowa

Proceedings of the 21st International Symposium on Multiple-Valued Logic, 1991

1990

Theory and Uses of Post Algebras of Order omega+omegaw\ast.I.

George Epstein, Helena Rasiowa

Proceedings of the 20th International Symposium on Multiple-Valued Logic, 1990

1989

Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability.

Nguyen Cat Ho, Helena Rasiowa

Stud Logica, 1989

1987

Subalgebras and homomorphisms of semi-Post algebras.

Nguyen Cat Ho, Helena Rasiowa

Stud Logica, 1987

Semi-Post algebras.

Nguyen Cat Ho, Helena Rasiowa

Stud Logica, 1987

Approximation Reasoning and Scott's Information Systems.

Helena Rasiowa, George Epstein

Proceedings of the Methodologies for Intelligent Systems, 1987

Logic of Approximation Reasoning.

Helena Rasiowa

Proceedings of the CSL '87, 1987

1986

Approximating Sets with Equivalence Relations.

V. Wiktor Marek, Helena Rasiowa

Theor. Comput. Sci., 1986

1985

Topological representations of Post algebras of order ω⁺ and open theories based on ω⁺-valued Post logic.

Helena Rasiowa

Stud Logica, 1985

Approximation logic.

Helena Rasiowa, Andrzej Skowron

Proceedings of the Mathematical Methods of Specification and Synthesis of Software Systems '85, 1985

1984

Rough concepts logic.

Helena Rasiowa, Andrzej Skowron

Proceedings of the Computation Theory, 1984

Theories of interacting stacks.

Helena Rasiowa

Proceedings of the Computation Theory, 1984

1980

Completeness in Classical Logic of Complex Algorithms.

Helena Rasiowa

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Logic of complex algorithms.

Helena Rasiowa

Proceedings of the Fundamentals of Computation Theory, 1979

1974

omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures.

Helena Rasiowa

Proceedings of the Mathematical Foundations of Computer Science, 1974

1973

Formalized omega⁺-valued Algorithmic Systems.

Helena Rasiowa

Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys., 1973

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