Helena Rasiowa

Publication Activity (10 Years)

Years Active: 1973-1995
Publications (10 Years): 0

Publications

George Epstein, Helena Rasiowa
A partially ordered extention of the integers. Stud Logica 54 (3) (1995)
Helena Rasiowa
In Memoriam Cecylia Rauszer. Stud Logica 53 (4) (1994)
Helena Rasiowa
Axiomatization and completeness of uncountably valued approximation logic. Stud Logica 53 (1) (1994)
Helena Rasiowa, V. Wiktor Marek
Mechanical Proof Systems for Logic II, Consensus Programs and Their Processing. J. Intell. Inf. Syst. 2 (2) (1993)
Helena Rasiowa, V. Wiktor Marek
Mechanical Proof Systems for Logic II, Consensus Programs and Their Procedding (Extended Abstract). ISMIS (1993)
Helena Rasiowa
Mechanical proof systems for logic: Reaching consensus by groups of intelligent agents. Int. J. Approx. Reason. 5 (4) (1991)
George Epstein, Helena Rasiowa
Theory and Uses of Post Algebras of Order \omega+\omega\ast. Part II. ISMVL (1991)
George Epstein, Helena Rasiowa
Theory and Uses of Post Algebras of Order omega+omegaw\ast.I. ISMVL (1990)
Nguyen Cat Ho, Helena Rasiowa
Plain Semi-Post algebras as a poset-based generalization of post algebras and their representability. Stud Logica 48 (4) (1989)
Helena Rasiowa
Logic of Approximation Reasoning. CSL (1987)
Nguyen Cat Ho, Helena Rasiowa
Semi-Post algebras. Stud Logica 46 (2) (1987)
Nguyen Cat Ho, Helena Rasiowa
Subalgebras and homomorphisms of semi-Post algebras. Stud Logica 46 (2) (1987)
Helena Rasiowa, George Epstein
Approximation Reasoning and Scott's Information Systems. ISMIS (1987)
V. Wiktor Marek, Helena Rasiowa
Approximating Sets with Equivalence Relations. Theor. Comput. Sci. 48 (3) (1986)
V. Wiktor Marek, Helena Rasiowa
Approximating sets with equivalence relations. ISMIS (1986)
Helena Rasiowa
-valued Post logic. Stud Logica 44 (4) (1985)
Helena Rasiowa, Andrzej Skowron
Approximation logic. Mathematical Methods of Specification and Synthesis of Software Systems (1985)
Helena Rasiowa
Theories of interacting stacks. Symposium on Computation Theory (1984)
Helena Rasiowa, Andrzej Skowron
Rough concepts logic. Symposium on Computation Theory (1984)
Helena Rasiowa
Completeness in Classical Logic of Complex Algorithms. MFCS (1980)
Helena Rasiowa
Logic of complex algorithms. FCT (1979)
Helena Rasiowa
omega+-Valued Algorithmic Logic as a Tool to Investigate Procedures. MFCS (1974)
Helena Rasiowa
-valued Algorithmic Logic. Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys. 21 (5) (1973)
Helena Rasiowa
-valued Algorithmic Systems. Bull. Acad. Pol. des Sci. Ser. Sci. Math. Astron. Phys. 21 (6) (1973)