Helena Rasiowa (rasiowa)

Contributions à Philosophie.ch

Bibliography

Rasiowa, Helena. 1959. “Algebraische Charakterisierung der intuitionistischen Logik mit starker Negation.” in Constructivity in Mathematics, edited by Arend Heyting. Amsterdam: North-Holland Publishing Co. Colloquium on Constructivity in mathematics, Amsterdam, August 1957.
Rasiowa, Helena. 1974. An Algebraic Approach to Non-Standard Logics. Studies in Logic and the Foundations of Mathematics n. 78. Amsterdam: North-Holland Publishing Co.
Rasiowa, Helena. 1977. “Many-Valued Algorithmic Logic as a Tool to Investigate Programs.” in Modern Uses of Multiple-Valued Logic: Invited Papers From the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13–16, 1975, edited by Michael J. Dunn and George Epstein, pp. 79–104. Episteme n. 2. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-010-1161-7.
Rasiowa, Helena. 1987. “Logic Approximating Sequences of Sets.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 167–186. New York: Plenum Press.
Rasiowa, Helena and Sikorski, Roman. 1959. “Formalisierte Intuitionistische Elementare Theorien.” in Constructivity in Mathematics, edited by Arend Heyting. Amsterdam: North-Holland Publishing Co. Colloquium on Constructivity in mathematics, Amsterdam, August 1957.