HELENA RASIOWA, 1917 - 1994

by

W. Bartol, E. Orłowska, A. Skowron

Bibliography (not complete)

[1] Axiomatisation d'un système partiel de la theorie de la deduction, Comptes-Rendues de la Soc. de Sci. et de Lettres de Varsovie, C1 III, 1947, pp.22-37
[2] Sur certaines matrices logiques, Comptes-Rendues de la Soc. Pol. de Math., 20, 1947, pp.402-403
[3] Sur un certain système d'axiomes du calcul des propositions, Norsk Matematisk Tiddskrift, 31, 1949, pp.1-3
[4] (with R.Sikorski) A proof of the completeness theorem of Gödel, Fundamenta Mathematicae , 37, 1950, pp.193-200
[5] Algebraic treatment of the functional calculi of Heyting and Lewis, Fundamenta Mathematicae, 38, 1951, pp.99-126
[6] (with R.Sikorski) A proof of the Skolem-Lowenheim theorem, Fundamenta Mathematicae,,38, 1951, pp.230-232
[7] A proof of the compactness theorem for arithmetical classes, Fundamenta Mathematicae, 39, 1952, pp.8-14
[8] (with A.Mostowski, A.Grzegorczyk, S.Jaśkowski, J.Łoś, S.Mazur, R.Si-korski) Der gegenwartige Stand der Grundlagenforschung in der Mathematik, Die Hauptreferate des 8.Poln. Mathematikerkongress, Sept.6-12, 1953, Deutscher Verlag der Wiss., Berlin, Germany
[9] (with R.Sikorski) Algebraic treatment of the notion of satisfiability , Fundamenta Mathematicae,40, 1953, pp.62-95
[10] (with A.Mostowski) Geometryczna interpretacja wyrażeń rachun-ków funkcyjnych (Geometrical interpretation of expressions of functional calculi), Studia Logica, 1, 1953, 254-275
[11] (with R.Sikorski) On satisfiability and decidability in non-classical functional calculi, Bull.Acad. Polon. de Sci., C1 III, 1953, pp.229-331
[12] (with R.Sikorski) On existential theorems in non-classical functional calculi, Fundamenta Mathematicae, 41, 1954, pp.21-28
[13] Constructive theories, Bull. Acad. Polon. Sci., C1 III, 2, 1954, pp.121-124
[14] Algebraic models of axiomatic theories, Fundamenta Mathematicae, 41, 1954, pp.291-310
[15] O pewnym fragmencie implikacyjnego rachunku zdań (On a fragment of the implicational propositional calculus), Studia Logica, 1955, pp.203-226
[16] (with R.Sikorski) An application of lattices to logic, Fundamenta Mathematicae, 42, 1955, pp.83-100
[17] A proof of $\epsilon$-theorems , Bull. Acad. Polon. Sci., C1 III, 1955, pp.299-302
[18] (with A.Białynicki-Birula) On the representation of quasi-Boolean algebras, Bull. Acad. Polon. Sci., C1 III, 1955, pp.259-261
[19] On the $\epsilon$-theorems , Fundamenta Mathematicae, 43, II, 1956, pp.156-165
[20] (with J.Łoś, A.Mostowski) A proof of Herbrand's theorem, Journ.des Math. Pures et Appl., 1956, pp.19-24
[21] Sur la méthode algebrique dans la methodologie des systèmes deductifs élémentaires, Bull. Math. de la Soc. Sci. Math. Phys, de la R.P.R., 1(49), No.2, 1957, pp.223-231
[22] (with R.Sikorski) On the isomorphisms of Lindenbaum algebras with fields of sets, Colloquium Mathematicum, V, 1958, pp.143-158
[23] N-lattices and constructive logic with strong negation, Fundamenta Mathematicae, 46, 1958, pp.61-80
[24] (with A. Białynicki-Birula) On constructible falsity in the constructive logic with strong negation, Colloquium Mathematicum, VI, 1958, pp.287-310
[25] Algebraische Characterisierung der intuitionistischen Logik mit star-ker Negation, in: Constructivity in Mathematics, Studies in Logic and the Foundations of Mathematics, North Holland, 1959, pp.234-240
[26] (with R.Sikorski) Formalisierte intuitionistische elementäre Theorien, in: Constructivity in Mathematics, Studies in Logic and the Foundations of Mathematics, North Holland, 1959, pp.241-249
[27] (with R.Sikorski) On the Gentzen theorem, Fundamenta Mathematicae, 48, 1960, pp.57-69
[28] (with J.Łoś, A.Mostowski) Addition au travail 'A proof of Herbrand's theorem', Journ. des Math. Pures et Appl., 40, 1961, pp.129-134
[29] On modal theories, Acta Philosophica Fennica, Fasc. XVI, 1963, pp.201-214
[30] (edited by H.Rasiowa and A.Grzegorczyk) Computable analysis, Stanisław Mazur, Rozprawy Matematyczne, 33, 1963, pages 110
[31] (with R.Sikorski) The mathematics of metamathematics, Monografie Matematyczne 41, PWN, 1963, pages 519; 2nd edition 1968, 3rd edition 1970.
[32] Logika matematyczna (Mathematical Logic), in: Encyklopedia "Przyroda i technika", Wiedza Powszechna 1964, pp.610-615; 2nd edition 1967, pp.655-659
[33] A generalization of a formalized theory of fields of sets on non-classical logics, Rozprawy matematyczne, 42, 1964, pages 29
[34] On non-classical calculi of classes, Coll. on the Foundations of Mathematics, Mathem,atical Machinjes and their Applications, Tihany, Sept.11-15, 1962, Akademiai Kiado, Budapest, 1965, pp.53-55
[35] Wst\{e}p do Logiki Matematycznej i Teorii Mnogości (Introduction to Mathematical Logic and Set Theory), Bibl. Kursów Zastosowań Matematyki, Inst. Matem. PAN, 1966, pages 166
[36] O wykładzie Wst\{e}p do Matematyki (On the lecture 'Introduction to Mathematics'), Wiadomości Matematyczne, IX, 1967, pp.240-243
[37] Wst\{e}p do matematyki współczesnej (Introduction to modern mathematics), Bibl. Matematyczna 30, PWN, 1968, pages 302; 2nd edition 1969, 3rd edition 1971, 4th edition 1974, 5th edition 1975, 6th edition 1977, 7th edition 1979, 8th edition 1984
[38] Introduction to modern mathematics (in Bulgarian), Nauka i Iskustvo, Sofia, 1972
[39] A theorem on the existence of prime filters in Post algebras and the completeness theorem for some many valued predicate caculi, Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys., 17, 1969, pp.347-354
[40] Ultraproducts of m-valued models and a generalization of the Lowen-heim-Skolem-Gödel-Malcev theorem for theories based on m-valued logics, Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys., 18, 1970, pp.415-420
[41] The Craig interpolation theorem for m-valued predicate calculi, Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys.,20, 1972, pp.141-146
[42] On logical structure of programs, Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys., 20, 1972, pp.319-324
[43] On algorithmic logic, Abstracts of 1971 Meeting on Computational Linguistics, Debrecen, Yugoslavia, Sept.4-7, 1971
[44] On m-valued predicate caculi, Abstracts IV International Congress for Logic, Methodology and Philosophy of Science, Bucarest, Romania, August 29 - Sept.4, 1971, Vol.44
[45] (with R.Sikorski) The mathematics of metamathematics (in Russian), Izdatelstvo Nauka, Moscow, 1972
[46] Roman Sikorski, Nauka Polska 20,zesz.4, 1972, pp.70-75
[47] Introduction to modern mathematics, North Holland and American Elsevier, 1973, pages 326
[48] Introduction to modern mathematics, PWN and North Holland, 1973, pages 326
[49] An algebraic approach to non-classical logics, Studies in Logic and the Foundations of mathematics, Vol.78, North Holland 1974, pages 403
[50] Post algebras as a semantic foundation of m-valued logics, The Mathematical Association of America Studies in Mathematics, Vol.9, 1974, pp.92-142
[51] On a logical structure of programs, Proc. Intern. Symp. and Summer School on Math. Foundations of Comp. Sci., Jabłonna, August 21-26, 1972, CC PAS Reports
[52] On generalized Post algebras of order $\omega^{+}$ and $\omega^{+}$-valued predicate calculi, Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys., 21, 1973, pp.209-219
[53] On logical structure of mix-valued programs and the $\omega^{+}$ valued algorithmic logic, Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys., 21, 1973, pp. 451-458
[54] Formalized $\omega^{+}$-valued algorithmic systems, Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys., 21, 1973, pp.559-565
[55] Mixed-valued predicate calculi, Studia Logica, 34, 1975, pp.215-234
[56] On $\omega^{+}$-valued algorithmic logic and related problems, Invited lecture, MFCS'73, High Tatra, CCPAS Reports 150, 1974
[57] A simplified formalization of $\omega^{+}$-valued algorithmic logic (a formalized theory of programs), Bull. Acad. Polon. Sci., Serie Sci. Math. Astr. Phys., 22, 1974, pp.595-603
[58] Extended $\omega^{+}$-valued algorithmic logic (a formalized theory of programs with recursive procedures), Bull. Acad. Polon. Sci., Serie Sci. Math.Astr.Phys., 22, 1974, pp.605-610
[59] $\omega^{+}$-valued algorithmic logic as a tool to investigate procedures, Invited lecture, MFCS'74, Warszawa-Jadwisin, Lect.Notes in Comp.Sci. 28, 1975, Proceed. MFCS'74, Springer Verlag
[60] Many-valued algorithmic logic, Invited lecture, Proceed. Intern. Summer Institute and Logic Colloquium, Kiel 1974, Lect. Notes in Mathem. 499, 1975, pp.543-567, Springer Verlag
[61] Multiple-valued algorithmic logic as a tool to investigate programs, Invited lecture, 1975 Intern. Symp. on Multiple-Valued Logic, Indiana Univ., Bllomington, USA, May 25-28, 1975, Proceedings, pp.1-3
[62] Completeness theorem for extended algorithmic logic, Proceed. 5th Congress of Logic, Methodology and Philosophy of Sciences, London, Ontario, August 27 - Sept. 2, 1975, III-13-15
[63] Algorithmic logic, Lecture Notes, Lectures delivered at Simon Fraser Univ., May-July 1975, ICS PAS Reports 281, 1977, pages 206
[64] (with L.Banachowski, A.Kreczmar, G.Mirkowska, A.Salwicki) An introduction to algorithmic logic, Banach Centre Publications, Vol.2, PWN, 1977, pp.7-99
[65] Andrzej Mostowski (1913-1975), Nauka Polska 9-10, 1976, pp.233-237
[66] Andrzej Mostowski, The review of the Polish Academy of Science, 1976, No.4
[67] A tribute to Andrzej Mostowski, Invited paper, Proceed. of the Logic Colloquium'76 (eds.R.Gandy, M.Hyland), North Holland, 1977, pp.139-144
[68] In memory of Andrzej Mostowski, Studia Logica, 36, No.1-2 , 1977, pp.1-3
[69] Many-valued algorithmic logic as a tool to investigate programs, in: Modern Uses of Multiple-Valued Logic (eds.G.Epstein, J.M.Dunn), ISMVL'75, Reidel, Dordrecht, Holland, 1977, pp.77-102
[70] Algorithmic logic and its extensions, a survey, Invited paper, Proceed. of the 5th Scandinavian Logic Symposium, Aalborg, January 17-19, 1979, pp. 163-174
[71] Algorithmic logic, multiple-valued extensions, Invited paper, Intern. Symp. on Practical and Philosophical Motivations of Non-classical Logics, Studia Logica, 38, 1979, pp.317-335
[72] Infinitary logic and logics of programs, Raccolta a Cura di Gian-franco Mascari, Istituto per le Aplicazioni del Calcolo, Consiglio Nazio-nale delle Ricerche, 1982, Rome, Italy
[73] Topological representations of Post algebras of order $\omega^{+}$ and open theories based on $\omega^{+}$-valued Post logic, Studia Logica, XLIV, No.4, 1985
[74] (with A.Skowron) Rough concept logic, Proceed. 5th Symp. on Computation Theory, LNCS 208, Springer Verlag 1985, pp.288-297
[75] (with A.Skowron) Approximation logic, Math.Methods of Specification and Synthesis of Software Systems (eds. W.Bibel, K.P.Jantke), Math. Research 31, Akademie Verlag, Berlin, Germany, 1985, pp. 123-139
[76] (with W.Marek) Approximating sets with equivalence relations, Theo-retical Computer Science, 48, 1986, pp.145-152
[77] (with W.Marek) Approximating sets with equivalence relations, Proceed. ISMIS'86,Knoxville, Tenn., 1986, ACM SIGART, pp.190-200
[78] Rough concepts and multiple-valued logic, Proceed. 16th ISMVL'86, Blacksburg, VA, 1986, IEEE Computer Society Press, pp.282-288
[79] (with G.Epstein) P-algebraic extensions of Post algebras of order $\omega^{+}$ , Proceed. ISMVL'86, Blacksburg, VA, 1986, IEEE Computer Society Press, pp.4-7
[80] Logic approximating sequences of sets, Proceed. Advanced Intern. School and Symp. on Math. Logic and its Applications, honorably dedicated to 80th anniversary of Kurt Gödel, Plenum Press, 1987, pp.167-186
[81] (with W.Marek) Gradual approximating sets by means of equivalence relations, Bull. Pol. Acad. Sci., Math., 35, No.3-4, 1987, pp.233-238
[82] (with G.Epstein) Approximation reasoning and Scott's information systems, Methodologies for Intelligent Systems (eds. Z.Ras, M.Zemankova), Proceed. 2nd ISMIS'87, Charlotte, N.C., October 14-17, 1987, North Holland, 1987, pp. 33-42
[83] An algebraic approach to some approximate reasonings, Proceed. 17th ISMVL'87, Boston, MA, May 24-26, 1987, IEEE Computer Society Press, pp.342-347
[84] (with Nguyen Cat Ho) Semi-Post algebras, Studia Logica, 46, No.2, 1987, pp. 147-158
[85] (with Nguyen Cat Ho) Subalgebras and homomorphisms of semi-Post algebras, Studia Logica, 46, No.2, 1987, pp.159-173
[86] Logic of approximation reasoning, Proceed. 1st Workshop on Computer Science Logic, Karlsruhe, Germany, 1987, LNCS 239, Springer Verlag, Berlin 1988, pp.188-210
[87] Mathematical problems in computation theory, eds. G.Mirkowska, H.Rasiowa, Proceed. 26th Semester at the Banach International Centre, Warsaw, Sept. 16 - Dec. 14,1985, Banach Centre Publications 21, 1988, pages 597
[88] (with W.Marek) On reaching consensus by groups of intelligent agents, in; Methodologies for Intelligent Systems, 4, (ed. Z.W.Ras), Proceed. ISMIS'89, NorthHolland, 1989, pp.234-243
[89] (with Nguyen Cat Ho) Plain semi-Post algebras as a poset-based generalization of Post algebras and their representability, Studia Logica, 48, No.4, 1989
[90] (with G.Epstein) Theory and uses of Post algebras of order MATH , in: Proceed. ISMVL'90, Charlotte, N.C., May 23-25, 1990, IEEE Computer Society Press, pp. 42-47
[91] On approximation logics, a survey, Jahrbuch 1990, Kurt Gödel Gessellschaft, Viwenna, Austria, 1990, pp.63-87
[92] Mechanical proof systems for logic of reaching consensus by groups of intelligent agents, Intern. Journ. of Approximate Reasoning, 5, No.4, 1991, pp.415-432
[93] (with W.Marek) Mechanical proof systems for logic II, consensus programs and their processing, Journ. of Intelligent Information Systems, 2, No.2, 1992, pp.149-164
[94] (with Nguyen Cat Ho) LT-fuzzy sets, Intern. Journ. on Fuzzy Sets and Systems, 47, No.3, 1992, pp.233-339
[95] Towards fuzzy logic, in: Fuzzy Logic for Management of Uncertainty, (eds.L.A.Zadeh, J.Kacprzyk), J.Wiley, New York, 1992, pp.5-25
[96] (with Nguyen Cat Ho) LT-fuzzy logics, in: Fuzzy Logic for Management of Uncertainty, (eds.L.A.Zadeh, J.Kacprzyk), J.Wiley, New York, 1992, pp.121-139
[97]  Axiomatization and completeness of uncountably valued appro-ximation logic, Studia Logica, 53, No.1, 1994, pp.137-160
[98]   Algebraic Models of Logic, edited on the base of manuscripts, Warsaw University Press, 2001