VITA
NAME AND RANK: Helena Rasiowa
Professor of Mathematics at the University of Warsaw, Poland
EDUCATION :
M.A. in Mathematics, University of Warsaw, Poland ,1946
Ph.D. in Mathematics, University of Warsaw, Poland, 1950
Doctor of Mathematical Sciences, Polish Academy of Sciences,
Warsaw, Poland, l956
PERSONAL:
Place and Date of Birth: Vienna, Austria, June 20, 1917
Nationality : Polish
Citizenship: Polish
PROFESIONAL EXPERIENCE:
UNIVERSITY OF WARSAW
Assistant, 1946-49
Assistant Professor, 1950-54
Associate Professor, 1954-57
Professor, 1957-67
Full Professor, 1967-present
Section Head, Foundations of Mathematics, 1964-70
Section Head , Mathematical Logic, 1970-present
Dean, Faculty of Mathematics and Physics, 1958-60, 1962-66
Dean, Faculty of Mathematics, Computer Science and Mechanics, 1968-78
POLISH ACADEMY OF SCIENCES, MATHEMATICAL INSTITUTE
Associate Professor, 1954-57
Professor, l957-63
UNIVERSIDAD NACIONALE DEL SUR, BAHIA BLANCA, ARGENTINA
Visiting Professor, l958, June-September
UNIVERSITY OF CHICAGO , USA
Research Associate, September, 1959 - February, 1960
UNIVERSITY OF CALIFORNIA at BERKELEY, USA
Research Associate, December, 1959; July, 1967
TULANE UNIVERSITY at NEW ORLEANS, USA
Visiting Professor, March, 1960
PRINCETON UNIVERSITY
Visiting Professor, April, 1960
UNIVERSITY OF MOSCOU, SOVIET UNION
Visiting Professor, November, 1963
CASE WESTERN RESERVE UNIVERSITY at CLEVELAND, USA
Visiting Professor, June, 1967 - February, 1968
UNAM in MEXICO CITY, MEXICO
Visiting Professor, January,1976
SIMON FRASER UNIVERSITY, VANCOUVER, CANADA
Visiting Professor, May-August, 1975
OXFORD UNIVERSITY, ENGLAND
Visiting Professor, May, 1976
UNIVERSITY OF FLORIDA in GAINESVILLE, USA
Visiting Professor, May, 1979
UNIVERSITY OF CAMPINAS, BRASIL
Visiting Professor, June-August, 1981
CONSIGLIO NAZIONALE DELLE RICERCHE, ISTITUTO PER LE APPLICAZIONE
DEL CALCOLO, ROMA, ITALY
Visiting Professor, September, 1984; June, 1987
THE UNIVERSITY OF NORTH CAROLINA at CHARLOTTE, USA
Adjunct Professor,
July, 1986 - June, l988
January, 1989 - June, 1990
July, 1991 - June, 1993
PROFESSIONAL ACTIVITIES
POLISH ACADEMY OF SCIENCES, COMMITTEE ON MATHEMATICS,
1961-68 Secretary , l961-present, Member
POLISH ACADEMY OF SCIENCES, INSTITUTE OF COMPUTER SCIENCES
1972-83, Chairperson of Scientific Counsil,
1984-present, Member, MINISTRY OF SCIENCES AND ACADEMIC SCHOOLS
1970-90, Chairperson ofGROUP ON EDUCATION AND RESEARCH IN
MATHEMATICS
FUNDAMENTA INFORMATICAE, QUATERLY, POLISH MATHEMATICAL SOCIETY,
IOS-Press, l977-present, Editor-in-Chief
STUDIA LOGICA, OSSOLINEUM and Kluwer Academic Publishers,
1974-present, Collecting Editor
JOURNAL OF APPROXIMATE REASONING, Elsevier, 1986-present,
Associate Editor
POLISH MATHEMATICAL SOCIETY
1958-59, Vice-President; 1955-57, Secretary,
1957-59, 1963-65, President of WARSAW DIVISION
ASSOCIATION FOR SYMBOLIC LOGIC
1958-60 Council member,
1972-77 Executive Committee for European Affairs, Member
INTERNATIONAL UNION OF HISTORY AND PHILOSOPHY OF SCIENCES, DIVISION OF LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE
1972-75 Alternate Assessor,
1975-79 Assessor
INVITED LECTURES
ARGENTINA
UNIVERSIDAD NACIONALE DEL SUR, Bahia Blanca, 1958
UNIVERSITY OF BUENOS AIRES, 1958,
INSTITUTE OF PHYSICS AT BARILOCHE, 1958
AUSTRIA
KURT GODEL SOCIETY, VIENNA, 1990
BRASIL
UNIVERSITY OF CAMPINAS, l981
UNIVERSITY OF SAO PAULO, 1981
UNIVERSITY OF SALVADOR, 1981
BULGARIA
UNIVERSITY OF SOFIA, 1975, 1986
CANADA
UNIVERSITY OF MONTREAL, 1982, 1986
CONCORDIA UNIVERSITY, 1982, 1983, 1984
SIMON FRASER UNIVERSITY, 1975
ENGLAND
OXFORD UNIVERSITY, 1960
HUNGARY
UNIVERSITY OF SZEGED, 1956
UNIVERSITY OF DEBRECEN, 1956, 1986
ITALY
UNIVERSITY OF ROME, 1984,
CONSIGLIO NAZIONALE DELLE RICERCHE, ISTITUTO PER LE APPLICAZIONE
DEL CALCOLO, 1984, 1987
JUGOSLAVIA
UNIVERSITY OF ZAGREB, 1974, 1980
POLAND
POLISH MATHEMATICAL SOCIETY AND UNIVERSITY OF WARSAW,
THE SIERPINSKI LECTURE, 1987
ROMANIA
ACADEMY OF SCIENCES, Bucarest, 1956,
UNIVERSITY OF JASSY, 1956
UNIVERSITY OF CLUJ, 1956
SOVIET UNION
UNIVERSITY OF MOSCOU, 1963
UNIVERSITY OF KIJEV, 1963
USA
UNIVERSITY OF CHICAGO, 1959, 1960
UNIVERSITY OF CALIFORNIA AT BERKELEY, 1959, 1967
STANFORD UNIVERSITY, 1959
UNIVERSITY OF CALIFORNIA IN LOS ANGELES, 1959
UNIVERSITY OF WISCONSIN IN MADISON, 1959, 1967, 1975
UNIVERSITY OF PENNSYLVANIA IN PHILADELPHIA, 1960
PENNSYLVANIA STATE UNIVERSITY, 1960
TULANE UNIVERSITY, 1960
LSU AT BATON ROUGE, 1960
INSTITUTE OF TECHNOLOGY IN CHICAGO, 1968
UNIVERSITY OF MICHIGAN IN ANN ARBOR, 1983
WAYNE STATE UNIVERSITY, 1982, 1983
UNIVERSITY OF ILLINOIS AT URBANA, 1967
CARNEGIE MELLON UNIVERSITY, 1983
YALE UNIVERSITY, 1986
UNIVERSITY OF KENTUCKY AT LEXINGTON, 1986, 1988, 1989
UNIVERSITY OF TENNESSEE AT KNOXVILLE, 1985, 1986
HARVARD UNIVERSITY, 1987
SUNY AT STONY BROOK, 1987
WESLEYAN UNIVERSITY, 1988
UNC-CHARLOTTE, 1982, 1983, 1984, 1985, 1987, 1988, 1989, 1990, 1991
UNIVERSITY OF TEXAS AT EL PAS0, 1989
GEORGE MASON UNIVERSITY, 1989
INVITED LECTURES AT INTERNATIONAL SYMPOSIA
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS'72,
Jablonna, Poland
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS'73,
High Tatra, Czechoslovakia
ASL LOGIC COLLOQUIUM, 1973, Kiel, U.K.
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE, MFCS'74,
Jadwisin, Poland
FUNDAMENTALS OF COMPUTATION THEORY, FCT'74,
Wendisch-Rietz, Germany
COLLOQUIUM ON LOGIC AND ITS APPLICATIONS, Torun, Poland, 1974
INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC,
Bloomington, Indiana, USA, 1975
ASL LOGIC COLLOQUIUM, Oxford, U.K., 1976
COLLOQUIUM ON COMPUTATION THEORY, Germany, 1982
SYMPOSIUM ON MATHEMATICAL LOGIC AND ITS APPLICATIONS,
Bulgaria, 1982
SYMPOSIUM ON COMPUTATION THEORY, Zaborow, Poland, 1984
INTERNATIONSAL SPRING SCHOOL ON MATHEMATICAL
METHODS OF SPECIFICATION AND SYNTHESIS OF SOFTWARE
SYSTEMS, Wendisch-Rietz, Germany, 1985
INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL'86,
Blacksburg, Virginia, USA, 1986
ADVANCED INTERNATIONAL SCHOOL AND LOGIC COLLOQUIUM ON
MATHEMATICAL LOGIC AND ITS APPLICATIONS (HONORABLY
DEDICATED TO 80th ANNIVERSARY OF KURT GOEDEL), Drushba,
Czechoslovakia, 1986
INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, ISMVL'87,
Boston, USA, 1987
1st WORKSHOP ON COMPUTER SCIENCE LOGIC, CSL'87, Karlsruhe,
Germany, 1987
INTERNATIONAL SEMINAR ON MULTIPLE-VALUED LOGIC, Universitat
de les Illes Baleares, Palma de Mallorca, Spain, 1988
FIFTH SOUTHEASTERN LOGIC SYMPOSIUM, Charlotte, N. C.,1989
ASL LOGIC COLLOQUIUM, Berlin, Germany,1989
HONOURS
1964 POLONIA RESTITUTA KNIGHT CROSS
1970 POLONIA RESTITUTA OFFICER'S CROSS
1974 GOLD BADGE FOR MERITS TO WARSAW
1984 DISTINGUISHED TEACHER AWARD
1987 HONOURED MEMBER OF THE POLISH MATHEMATICAL SOCIETY
1987 THE SIERPINSKI MEDAL
PRIZES
1953 POLISH MATHEMATICAL SOCIETY "STEFAN MAZURKIEWICZ" PRIZE
1965 MINISTER OF SCIENCES FIRST CLASS PRIZE
1972 POLISH ACADEMY OF SCIENCES PRIZE
1974 MINISTER OF SCIENCES FIRST CLASS PRIZE
1984 STATE SCIENCE PRIZE IN MATHEMATICS, FIRST CLASS
1987 MINISTER OF SCIENCES FIRST CLASS PRIZE
PUBLICATIONS
More than 100 papers and three books listed below:
The MATHEMATICS OF METAMATHEMATICS (co-author Roman Sikorski),
Polish Scientific Publishers, 1963, 1968, 1970, translated into
Russian in Moscou, 1970
INTRODUCTION TO MODERN MATHEMATICS , North Holland, American
Elsevier and Polish Scientific Publishers, 1974; translated into
Bulgarian in Sofia, 1975; 8 editions in Polish language
AN ALGEBRAIC APPROACH TO NON-CLASSICAL LOGICS, Studies in
Logic and the Foundations of Mathematics, Vol.78 ,1974, North-Holland
and American Elsevier
PARTIAL LIST OF PUBLICATIONS
1 "Axiomatization d'un systeme partiel de la theorie del deduction",
Comptes-Rendus de la Soc. de Sci. et de Lettres de Varsovie, C1 III,
1947, 22-37
2 "Sur certaines matrices logiques", Comptes-Rendus de la Soc. Pol. De
Math., 20, 1947, 402-403
3 "Sur un certain systeme d'axiomes du calcul des propositions", Norsk
Matematisk Tiddskrift, 31, 1949, 1-3
4 "A proof of the completeness theorem of Godel", (with R. Sikorski),
Fundamenta Mathematicae, 37, 1950, 193-200
5 "Algebraic treatment of the functional calculi of Heyting and Lewis",
Fundamenta Mathematicae, 38, 1951, 99-126
6 "A proof of the Skolem-Lowenheim theorem", (with R. Sikorski),
Fundamenta Mathematicae, 38, 1951, 230-232
7 "A proof of the compactness theorem for arithmetical classes",
Fundamenta Mathematicae, 39, 1952, 8-14
8 "Der gegenwartige stand der grundlagenfoschung in der mathematik",
(with A. Mostowski, A. Grzegorczyk, S. Jaskowski, J. Los, S. Mazur, R.
Sikorski), Die Hauptreferate des 8 Poln. Mathematikerkongress, Sept.
6-12, 1953, Deutscher Verlag der Wiss. Berlin, Germany
9 "Algebraic treatment of the notion of satisfiability", (with R. Sikorski),
Fundamenta Mathematicae, 40, 1953, 62-95
10 "Geometryczna interpretacja wyrazen rachunkow funkcyjnych", (with A.
Mostowski), Studia Logica, 1, 1953, 254-275
11 "On satisfiability and decidability in non-classical functional calculi",
(with R. Sikorski), Bull. Ac. Po. Sci., C1 III, 1953, 229-331
12 "On existential theorems in non-classical functional calculi", (with R.
Sikorski), Fundamenta Mathematicae, Vol. 41, 1954, 21-28
13 "Constructive theories", Bull. Ac. Pol. Sci., cl III, 2, 1954, 121-124
13 "Algebraic models of axiomatic theories", Fundamenta Mathematicae,
Vol. 41, 1954, 291-310
14 "O pewnym fragmencie implikacyjnego rachunku zdan", Studia Logica,
1955, 203-226
15 "An application of lattices to logic", (with R. Sikorski), Fundamenta
Mathematicae, Vol. 42, 1955, 83-100
17 "A proof of e -theorems", Bull. Ac. Pol. Sci., Cl III, 1955, 299-302
18 "On the representation of quasi-Boolean algebras", (with A. Bialynicki-
Birula), Bull. Ac. Pol. Sci., Cl III, 1955, 259-261
19 "On the e -theorems", Fundamenta Mathematicae, Vol. 43, II, 1956,
156-165
20 "A proof of Herbrand's theorem", (with J. Los and A. Mostowski),
Journal de Mathematiques Pures et Appliquees, 1956, 19-24
21 "Sur la methode algebrique dans la methodologie des systemes
deductifs elementaires", Bull. Math. de la Soc. Sc. Math. Phys. de la
R.P.R., 1(49), No. 2, 1957, 223-231
22 "On the isomorphisms of Lindenbaum algebras with fields of sets",
(with R. Sikorski), Colloquium Mathematicum, V, 1958, 143-158
23 "N-lattices and constructive logic with strong negation", Fundamenta
Mathematicae, Vol. 46, 1958, 61-80
24 "On constructible falsity in the constructive logic with strong
negation", (with A. Bialynicki-Birula), Colloquium Mathematicum, VI,
1958, 287-310
25 "Algebraische characterisierung der intuitionistischen logic mit
starker negation", in: Constructivity in Mathematics, Studies in Logic
and the Foundations of Mathematics, North Holland, 1959, 234-240
26 "Formalisierte intuitionistische elementare theorien", (with R.
Sikorski), in: Constructivity in Mathematics, Studies in Logic
and the Foundations of Mathematics, North Holland, 1959, 241-249
27 "On the Gentzen theorem", (with R. Sikorski), Fundamenta Mathematicae,
48, 1960, 57-69
28 "Addition au travail "A proof of Herbrand theorem", (with J. Los and A.
Mostowski), Journal de Mathematiques Pures et Appliquees, Vol. 40,
1961, 129-134
29 "On modal theories", Acta Philosophica Fennica, Fasc. XVI, 1963,
201-214
30 "Computable analysis, Stanislaw Mazur", (edited by H. Rasiowa and A.
Grzegorczyk), Rozprawy Matematyczne, 33, 1963, pages 110
31 "The mathematics of metamathematics" (with R. Sikorski), Monografie
Matematyczne, 41, Polish Scientific Publishers, 1963, pages 519;
second edition 1968; third edition 1970
32 "Logika matematyczna", Encyklopedia "Przyroda i Technika", Wiedza
Powszechna, 1964, 610-615, second edition 1967, 655-659
33 "A generalization of a formalized theory of fields of sets on
non-classical logics", Rozprawy Matematyczne, 42, 1964, p. 29
34 "On non-classical calculi of classes", Colloquium on the Foundations of
Mathematics, Mathematical Machines and their Applications, Tihany,
Sept. 11-15, 1962, Akademiai Kiado, Budapest, 1965, 53-55
35 "Wstep do Logiki Matematycznej i Teorii Mnogosci", Biblioteka Kursow
Zastosowan Matematyki, Instytut Matematyczny PAN, 1966, p.166
36 "O wykladzie Wstep do Matematyki", Wiadomosci Matematyczne, IX,
1967, 240-243
37 "Wstep do matematyki wspolczesnej", Biblioteka Matematyczna, 30,
1968, p. 302; 2-ed ed. 1969; 3-rd ed. 1971; 4-th ed. 1974; 5-th ed.
1975; 6-th ed. 1977; 7-th ed. 1979; 8-th ed. 1983
38 Bulgarian translation of "Wstep do matematyki wspolczesnej", Nauka
iIzkustvo, Sofia, 1972
39 "A theorem on the existence of prime filters in Post algebras and the
completeness theorem for some many valued predicate calculi", Bull.
Ac. Pol. Sci. Ser. Sci. Math. Astr. Phys., 17, 1969, 347-354
40 "Ultraproducts of m-valued models and a generalization of the
Lowenheim-Skolem-Godel-Malcev theorem for theories based on
m-valued logics", Bull. Ac. Pol. Sci. Ser. Sci. Math. Astr. Phys., 18, 1970,
415-420
41 "The Craig interpolation theorem for m-valued predicate calculi", Bull.
Ac. Pol. Sci. Ser. Sci. Math. Astr. Phys., 20, 1972, 341-146
42 "On logical structure of programs", Bull. Ac. Pol. Sci. Ser. Sci. Math.
Astr. Phys., 20, 1972, 319-324
43 "On algorithmic logic", Abstracts of 1971 International Meeting on
Computational Linguistics, Debrecen, Jugoslavia, Sept. 4-7, 1971
44 "On m-valued predicate calculi", Abstracts, IV-th International
Congress for Logic Methodology and Philosophy of Science, Bucarest,
Romania, 29 August - 4 September, 1971, Vol. 44
45 "Matematika Metamatematiki", (with R. Sikorski), Russian translation
of the Mathematics of Metamathematics, (see 31), Izdatelsvo Nauka,
Moskwa, 1972
46 "Roman Sikorski", Nauka Polska 20, zesz. 4, 1972, 70-75
46 "Introduction to modern mathematics", North Holland and American
Elsevier, 1973, p. 326
47 "Introduction to modern mathematics", Polish Scientific Publishers and
North Holland, 1973, p. 326
48 "An algebraic approach to non-classical logics", Studies in Logic and
the Foundations of Mathematics, Vol. 78, North Holland, 1974, p. 403
49 "Post algebras as a semantic foundation of m-valued logics", The
Mathematical Association of America Studies in Mathematics, Vol. 9,
1974, 92-142
50 "On a logical structure of programs", Proc. Intern. Symp. and Summer
School on Mathematical Foundations of Computer Science, Jablonna,
21-26 August, 1972, CC PAS Reports
51 "On generalized Post algebras of order w+ and w+-valued predicate
calculi, Bull. Ac. Pol. Sci. Ser. Math. Astron. Phys. 21, 1973, 209-219
52 "On logical structure of mix-valued programs and the w+-valued
algorithmic logic, Bull. Ac. Pol. Sci. Ser. Math. Astron. Phys. 21, 1973,
451-458
53 "Formalized w+-valued algorithmic systems, Bull. Ac. Pol. Sci. Ser.
Math. Astron. Phys. 21, 1973, 559-565
55 "Mixed-valued predicate calculi", Studia Logica, 34, 1975, 215-234
56 "On w+-valued algorithmic logic and related problems", Invited lecture,
MFCS'74, High Tatra, CC PAS Reports 150, 1974
57 "A simplified formalization of w+-valued algorithmic logic (a
formalized theory of programs), Bull. Ac. Pol. Sci., Ser. Sci. Math.
Astron. Phys., 22, 1974, 595-603
58 "Extended w+-valued algorithmic logic (a formalized theory of
programs with recursive procedure)", Bull. Ac. Pol. Sci., Ser. Sci. Math.
Astron. Phys., 22, 1974, 605-610
59 "w +-valued algorithmic logic as a tool to investigate procedures",
Invited lecture, MFCS'74, Warszawa-Jadwisin, Lecture Notes in
Computer Science, 28, 1975, Proc. MFCS'74, Springer Verlag
60 "Many-valued algorithmic logic", Invited lecture, Proc. Intern. Summer
Institute and Logic Colloquium, Kiel 1974, Lecture Notes in
Mathematics, 499, 1975, 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
University, Bloomington, USA, May 25-28, 1975, Proceedings, 1-3
62 "Completeness theorem for extended algorithmic logic", Proc. 5th
Congress of Logic Methodology and Philosophy of Sciences, London,
Ontario, 27 August - 2 September, 1975, III - 13-15
63 "Algorithmic logic", Lecture Notes, Lectures delivered at Simon Fraser
University, May-July 1975, ICS PAS Reports 281, 1977, p. 206
64 "An introduction to algorithmic logic", (with L. Banachowski, A.
Kreczmar, G. Mirkowska, A. Salwicki), Banach Center Publications, Vol.
2, 1977, 7-99
65 "Andrzej Mostowski (1913-1975)", Nauka Polska 9-10, 1976, 233-237
65 "Andrzej Mostowski", The review of the Polish Academy of Science,
1976, No. 4
66 "A tribute to Andrzej Mostowski", Invited paper, Proceedings of the
Logic Colloquium'76, (eds. R. Gandy and M. Hyland), North Holand, 1977,
139-144
67 "In memory of Andrzej Mostowski", Studia Logica, Vol. 36, No. 1-2,
1977, 1-3
68 "Many -valued algorithmic logic as a tool to investigate programs", in:
Modern Uses of Multiple-valued Logic, (eds. G. Epstein and J.M. Dunn),
ISMVL'75, Reidel, Dordrecht-Holland, 1977, 77-102
69 "Algorithmic logic and its extensions, a survay", Invited paper,
Proceedings of the 5th Scandinavian Logic Symposium, Aalborg, Junuary
17-19, 1979, 163-174
70 "Algorithmic logic, multiple-valued extension", Invited paper,
International Symposium on Practical and Philosophical Motivations of
Non-classical Logics", Studia Logica, Vol. 38, 1979, 317-335
71 "Infinitary logic and logics of programs", Raccolta a Cura di Gianfranco
Mascari, Istituto per le Applicazioni del Calcolo, Consiglio Nazionale
delle Ricerche , 1984, Roma, Italy
72 "Introduction to modern mathematics", Polish Scientific Publishers,
8th ed. in Polish, textbook,1984
75 "Topological representation of Post algebras of order w + and open
theories based on w +-valued Post logic", Studia Logica, Vol. XLIV, No. 4,
1985
76 "Rough concepts logic", (with A. Skowron), Proceedings of the Fifth
Symposium on Computation Theory, LNCS, Springer Verlag, 1985, No.
208, 288-297
77 "Approximation logic", (with A. Skowron), Mathematical Methods of
Specification and Synthesis of Software Systems, (ed. W. Bibel and K.P.
Jantke), Mathematical Research 31, Akademie Verlag, Berlin, Germany,
1985, 123-139
78 "Approximating sets with equivalence relations", (with W. Marek),
Theoretical Computer Science, Vol. 48, 1986, 145-152
79 "Approximating sets with equivalence relations", (with W. Marek),
Proc. ISMIS'86, Knoxville, Tennessee, 1986, ACM SIGART, 190-200
80 "Rough concepts and multiple-valued logic", Proc. 16th ISMVL'86,
Blacksburg, VA, 1986, IEEE Computer Society Press, 282-288
81 "P-algebraic extensions of Post algebras of order w+ ", (with G.
Epstein), Proc. ISMVL'86, Blacksburg, VA, 1986, IEEE Computer Society
Press, 4-7
82 "Logic approximating sequences of sets", Proc. Advanced International
School and Symp. on Math. Logic and its Applications , honorably
dedicated to 80th anniversary of Kurt Godel, Plenum Press, 1987,
167-186
83 "Gradual approximating sets by means of equivalence relations", (with
W. Marek), Bull. Pol. Ac. Sci., Math., Vol. 35, No. 3-4, 1987, 233-238
84 "Approximation reasoning and Scott's information systems", (with G.
Epstein), Methodologies for Intelligent Systems, (Eds. Z.W. Ras and M.
Zemankova), Proc. 2nd ISMIS'87, Charlotte N.C., October 14-17, 1987,
North Holland, 1987, 33-42
85 "An algebraic approach to some approximate reasonings", Proc. 17th
ISMVL, 87, Boston, MA, May 24-26, 1987, IEEE Computer Society Press,
342-347
86 "Semi-Post algebras", (with Ng. Cat Ho), Studia Logica, Vol. 46, No. 2
1987, 147-158
87 "Subalgebras and homomorphisms of semi-Post algebras", (with Ng. Cat
Ho), Studia Logica, Vol. 46, No. 2, 1987, 159-173
88 "Logic of approximation reasoning", Proc. 1st Workshop on Computer
Science Logic, Karlsruhe, Germany, 1987, LNCS 239, Springer-Verlag,
Berlin 1988, 188-210
89 "Mathematical problems in computation theory", eds. G. Mirkowska and
H. Rasiowa, Proc. 26th Semester at the Banach International Center,
Warsaw, Sept. 16 - Dec. 14, 1985, Banach Centre Publications 21
(1988), 597 pages
90 "On reaching consensus by groups of intelligent agents", (with W.
Marek), in Methodologies for Intelligent Systems, 4, (ed. Z.W. Ras),
Proceedings of ISMIS'89, North Holland, (1989), 234-243
91 "Plain semi-Post algebras as a posets-based generalization of Post
algebras and their represent ability", (with Cat-Ho), Studia Logica, vol.
48, No. 4, 1989
92 "Theory and uses of Post algebras of order w+ w* ", (with G. Epstein), in
the Proceedings of ISMVL'90 , Charlotte, N.C., May 23-25, 1990, IEEE
Computer Society Press, 42-47
93 "On approximation logics, a survay", Jahrbuch 1990, Kurt Godel
Gesellschaft, Vienna, Austria, 1990, 63-87
94 "Mechanical proof systems for logic of reaching consensus by groups of
intelligent agents", International Journal of Approximate Reasoning,
Elsevier, Vol. 5, No. 4, 1991, 415-432
95 "Mechanical proof systems for logic II, consensus programs and their
processing", (with W. Marek), Journal of Intelligent Information
Systems, Kluwer, Vol. 2, No. 2, 1992, 149-164
96 "LT-fuzzy sets", (with Ng. Cat Ho), International Journal on Fuzzy Sets
and Systems , North Holland, Vol. 47, No. 3, 1992, 233-339
97 "LT-fuzzy logics", (with Ng. Cat Ho), in: Fuzzy Logic for Management of
Uncertainty, (eds. L.A. Zadeh and J. Kacprzyk), J. Wiley, New York, 1992,
121-139
98 "Axiomatization and completeness of uncountably valued approximation
logic", Studia Logica, Kluwer Acad. Publishers, Vol. 53, No. 1, 1994,
137-160
99 Algebraic models of logics, Univerity of Warsaw, Warsaw, 2001
Additional Information