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