41. IARCS Newsletter of Use Object Orientation; Conference Reports Workshop on Applied Formal MethodsFST TCS'96 Logic, Algebra and Computer Science a tribute to helena rasiowa; http://www.imsc.res.in/~iarcs/vol2-1/vol2-1.html

IARCS Newsletter Vol. 2, No. 1. March 1997 Editorial Letters to the Newsletter The TCS Controversy : a Response Whither NSTCS : a Response Some Parables The Use of Use Object Orientation Conference Reports: Workshop on Applied Formal Methods Logic, Algebra and Computer Science : a tribute to Helena Rasiowa Pedagogical Puzzles Announcements: FSTTCS: The Complete Bibliography

42. The Mathematics Genealogy Project - Index Of RAS Rashwan, Hamza, University of Waterloo, 1983. rasiowa, helena, UniwersytetWarszawski, 1950. Raskind, Wayne, University of Cambridge, 1985. http://genealogy.math.ndsu.nodak.edu/html/letter.phtml?letter=RAS

43. Korteles Translate this page 56. 57 rasiowa, helena. An algebraic approach to non-classical logics. 58 rasiowa,helenaand Sikorski»Roman The^mathematics of metamathematics2-d ed. http://vaizdai.lnb.lt/Uzs/Korteles.asp?skirtukas=Rasch

44. MIMUW - Wiktor Bartol H. rasiowa's and C. Rauszer's contribution to algebra, Logic, algebra and computerscience helena rasiowa and Cecylia Rauszer, in memoriam (Warsaw, 1995). http://www.mimuw.edu.pl/english/research/imat-publications/bartol.html

PESEL: Has³o: OG£OSZENIA Wydarzenia European Joint Conferences on Theory and... Zwyciêstwo studentów WMIM ... Szukam graczy RPG SONDA Jaki profil portalu podoba Ci siê najbardziej? Asceza S³oneczna jesieñ Smutny b³êkit (w likwidacji) ¦wie¿a rze¿ucha Oddano 48 g³osów. Wydzia³ Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Only in Institute of Mathematics faculty members publications ETAPS 2003 Dla kandydatów na studia Jak trafiæ? Zajêcia ... Institute of Mathematics faculty members publications Wiktor Bartol List of Publications Casasnovas, J.; Bartol, Wiktor; Rosselló, F. On the lattice of fuzzy weak subalgebras of a fuzzy partial algebra, NAFIPS-FLINT 2002 International Conference, New Orleans Proceedings, pp.34-39. Casasnovas, J.; Bartol, Wiktor; Rosselló, F. A characterization of the lattice of fuzzy weak subalgebras of a partial algebra, IPMU2002 International Conference, Annecy-France Proceedings, pp.1111-1118. Bartol, Wiktor; Miro, J.; Rossello, F. Sobre las clases de una tolerancia, II Jornades de Matematica Discreta i Algorismica Proceedings, Ciutat de Palma, 11-12.09.2000, pp.17-18.

45. MIMUW - Andrzej Skowron To the memory of Prof. helena rasiowa, Fund. Inform. iii and 119-208. Orlowska,E.; Skowron, Andrzej helena rasiowa 1917-1994, Studia Logica 54 (1995), no. http://www.mimuw.edu.pl/english/research/imat-publications/skowron.html

PESEL: Has³o: OG£OSZENIA Wydarzenia European Joint Conferences on Theory and... Zwyciêstwo studentów WMIM ... Szukam graczy RPG SONDA Jaki profil portalu podoba Ci siê najbardziej? Asceza S³oneczna jesieñ Smutny b³êkit (w likwidacji) ¦wie¿a rze¿ucha Oddano 48 g³osów. Wydzia³ Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego Only in Institute of Mathematics faculty members publications ETAPS 2003 Dla kandydatów na studia Jak trafiæ? Zajêcia ... Institute of Mathematics faculty members publications Andrzej Skowron List of Publications Skowron, Andrzej Towards granular multi-agent systems, in: A. Ghosh, S.K. Pal (Eds.) Soft Computing Approach to Pattern Recognition and Image Processing, , World Scientific 2002, pp.215-234. Skowron, Andrzej; Swinarski, R. Rough set methods in feature selection and recognition, Pattern Recognition Letters Peters, J.F.; Skowron, Andrzej; Stepaniuk, J.; Ramanna, S Towards an ontology of approximate reason, Fundamenta Informaticae (1-2) (2002), pp.157-173. Deja, R.; Skowron, Andrzej On some conflict models and conflict resolution

46. Encyclopædia Britannica experts, The Web's Best Sites, helena rasiowa University of St AndrewsBrief biography of this Polish mathematician. helena, Montana http://www.britannica.com/search?query=helena modjeska&fuzzy=N&ct=igv&start=6&sh

47. Family Photographs My Mother helena rasiowa (GozdawaBaczalska). my mother, my mother, my mother, mymother, my mother, my mother. helena rasiowa's WWW Site (under construction). http://www.coe.uncc.edu/~ras/family.html

Family Photographs My Mother Helena Rasiowa (Gozdawa-Baczalska) Helena Rasiowa's WWW Site (under construction) My Grandaunt Alina

48. Untitled helena rasiowa. Dr. JM Font (University of Barcelona, Spain) On thecontributions of helena rasiowa to Mathematical Logic Prof. http://www.lsi-cad.com/ismvl/mvl96pro.html

Back sasao@cse.kyutech.ac.jp 26th. INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC May 29 - 31, 1996. and 1996 Workshop on Post Binary Ultra-Large Scale Integration (ULSI'96) May 28, 1996 Santiago de Compostela Spain ADVANCE PROGRAME Tuesday, May 28: 10:00: ISMVL'96 On-site Registration ULSI'96 Sessions 13:00: Lunch ULSI'96 Sessions 19:30: Guided visit to the Cathedral 20:30: Reception, Council of Santiago de Compostela Wednesday, May 29: 08:30 - 09:30 ISMVL'96 On-site Registration 09:30 - 09:45 Opening Remarks 09:45 - 10:45 Invited Address: "As you like them: Connectives in Fuzzy Logic" Keynote Speaker: Prof. Dr. Claudi Alsina (Universitat Oberta de Catalunya) 11:00 - 11:30 Coffee break 11:30 - 12:45 Parallel Sessions 1A and 1B SESSION 1A: Switching Theory 11:30 Verification of Multi-valued Logic Networks Rolf Drechsler (University of Freiburg, Germany) 11:55 New Interpolation Algorithms for Multiple-Valued Reed-Muller Forms Zeljko Zilic, Zvonko G. Vranesic (University of Toronto, Canada) 12:20 Family of fast mixed arithmetic logic transforms for multiple-valued input binary functions Susanto Rahardja, Bogdan J. Falkowski (Nanyang Technological University, Singapore) SESSION 1B: Logic I 11:30 Non-Archimedean Models of Lukasiewicz Logic Antonio Di Nola (University of Neaples, Italy) 11:55 A Necessary and sufficient condition for Lukasiewicz logic functions Noboru Takagi, Kyoichi Nakashima (Toyama Prefectural University), Masao Mukaidono (Meiji University, Japan) 12:20 Propositional skew Boolean logic R. J. Bignall, M. Spinks (Monash University, Australia) 13:00 Lunch Meeting of the Excecutive Committee 15:00 - 16:40 Parallel Sessions 2A and 2B SESSION 2A: Fault Modeling, Fault Diagnosis 15:00 Fault Diagnosis System based on Sensitivity Analysis and Fuzzy Logic Luis J. de Miguel, Margarita Mediavilla, Jose R. Peran (University of Valladolid) 15:25 Fault Models for the Multi-valued Current Mode Circuit Yeong-Jar Chang, Chung Len Lee (National Chiao Tung University, Taiwan) Jwu E Chen (Chung-Hwa Polytechnic Institute, Taiwan) 15:50 Testability of Generalized Reed-Muller Circuits Elena V. Dubrova, Jon C. Muzio (University of Victoria, Canada) 16:15 Design of One-Vector Testable Binary Systems Based on Ternary Logic Mou Hu (Shanghai Tiedao University, China) SESSION 2B: Decision Diagrams 15:00 Planarity in ROMDD's of Multiple-Valued Symmetric Functions Jon T. Butler, Jeffrey L. Nowlin (Naval Postgraduate School, USA) Tsutomu Sasao (Kyushu Institute of Technology, Japan) 15:25 Multiple-valued Decision Diagrams with Symmetric Variable Nodes D.M. Miller (University of Victoria, Canada) N. Muranaka (Kansai University, Japan) 15:50 A Method to Represent Multiple-Output Switching Functions by using Multi-Valued Decision Diagrams Tsutomu Sasao (Kyushu Institute of Technology, Japan) Jon Butler (Postgraduate Naval School, USA) 16:15 Complex spectral decision diagrams Bogdan J. Falkowski, Susanto Rahardja (Nanyang Technological University, Singapore) 16:40 - 17:10 Coffee break 17:10 - 18:40 Parallel Sessions 3A and 3B SESSION 3A: Circuits, Logic Design I 17:10 A ternary systolic product-sum circuit for GF(3^m) using neuron MOSFETs Noriaki Muranaka (Kansai University, Japan) Shigenobu Arai (Nintendo Co., Ltd., Japan) Shigeru Imanishi (Kansai University, Japan) D. Michael Miller (University of Victoria, Canada) 17:35 New MVL-PLA Structures based on Current-mode CMOS Technology Mostafa Abd-El-Barr, Muhammad Nayyar Hasan (King Fahd University of Petroleum and Minerals, Saudi Arabia) 18:00 Design of highly parallel linear digital circuits based on a symbol-level redundancy Masami Nakajima, Michitaka Kameyama (Tohoku University, Japan) 18:25 On the Use of VHDL as a Multi-Valued Logic Simulator Come Rozon (Royal Military College of Canada) SESSION 3B: Logic II 17:10 Commodious Axiomatization of Quantifiers in Multiple-valued Logic Reiner Haehnle (University of Karlsruhe, Germany) 17:35 The Incidence Propagation Method Weiru Liu (University of Ulster at Jordanstown, Ireland) 18:00 Approximative Conjunctions Processing by the Multiple-valued Logic Herman Akdag, Myriam Mokhtari (University of Paris, France) 18:25 Intuistionistic Counterparts of Finite-Valued Logics Matthias Baaz (University of Viena, Austria) Christian Fermuller (Stanford University, USA) Thursday, May 30: 09:00 - 10:45 Special Session. "Helena Rasiowa. In memoriam" Invited Speakers: Prof. Dr. G. Malinowski (Lodz University, Poland) "Helena Rasiowa - a view of the academic trajectory and the influence upon Polish and international scientific community" Prof. Dr. J.M. Font (University of Barcelona, Spain) "On the contributions of Helena Rasiowa to Mathematical Logic" Prof. Dr. T. Sales (Polytechnical University of Cataluna, Spain) "From pure to approximate logic" 11:00 - 11:30 Coffee break 11:30 - 12:45 Parallel Sessions 4A and 4B SESSION 4A: Algebra I 11:30 Associativeness versus Recursiveness V. Cutello (University of Catania, Italy) E. Molina, J. Montero (Complutense University of Madrid, Spain) 11:55 Rational Transitivity and its Models Hassan Bezzazi, Ramon Pino Perez (University of Lille, France) 12:20 Several Remarks on the Complexity of Set-Valued Switching Functions Dan A. Simovici (University of Massachusetts at Boston, USA) Corina Reischer (University of Quebec a Trois-Rivieres, Canada) SESSION 4B: Artificial Intelligence, Reasoning. 11:30 Petri Net Representation of Fuzzy Reasoning under Incomplete Information Alberto Bugarin, P. Cari~nena, Senen Barro (University of Santiago de Compostela, Spain) 11:55 Weight Structures for Approximate Reasoning with Weighted Expressions Stephan Lehmke (University of Dortmund, Germany) 12:20 Reasoning in inconsistent stratified knowledge bases Salem Benferhat, Didier Dubois, Henri Prade (University Paul Sabatier, France) 13:00 Lunch Meeting of the Symposium Committee 15:00 Excursion Friday, May 31: 09:45 - 10:45 Invited Address: "Inference in Fuzzy Logic via Generalized Constraint Propagation" Keynote Speaker: Prof. Dr. Dr. h.c. Lotfi A. Zadeh (University of California, Berkeley, USA) 10:45 - 11:15 Coffee Break 11:15 - 12:05 Parallel Sessions 5A and 5B SESSION 5A: Algebra II 11:15 On Isomorphisms between the Lattice of Tolerance Relations and Lattices of Clusterings Helmut Thiele (University of Dortmund, Germany) 11:40 An Algebraic Approach to Hyperalgebras Ivo G. Rosenberg (University of Montreal, Canada) SESSION 5B: Soft Computing 11:15 Wave-parallel computing technique for neural networks based on amplitude-modulated waves Yasushi Yuminaka, Yoshisato Sasaki (Gunma University, Japan) Takafumi Aoki, Tatsuo Higuchi (Tohoku University, Japan) 11:40 Design of multivalued circuits using genetic algorithms Wenjun Wang, Claudio Moraga (University of Dortmund, Germany) 12:10 - 12:55 Plenary Session 13:00 Lunch 15:00 - 16:40 Parallel Sessions 6A and 6B SESSION 6A: Circuits, Logic Design II 15:00 Quaternary Universal-Literal CAM for Cellular Logic Takahiro Hanyu, Manabu Arakaki, Michitaka Kameyama (Tohoku University, Japan) 15:25 Multi-Valued Decoder Based on Resonant Tunneling Diodes in Current Tapping Mode Hao Tang and H. C. Lin (University of Maryland, USA) 15:50 Implementation of skew Boolean logic operations in peristaltic CCD Logic M. Spinks, R. J. Bignall (Monash University, Australia) 16:15 SESSION 6B: Devices 15:00 A literal gate using resonant-tunneling devices T. Waho, K. J. Chen, M. Yamamoto (NTT LSI Laboratories, Japan) 15:25 A Multiple-Valued Ferroelectric Content-Addressable Memory Ali Sheikholeslami, P. Glenn Gulak (University of Toronto, Canada) Takahiro Hanyu (Tohoku University, Japan) 15:50 Interband RTDs with Nanoelectronic HBT-LED Structures for Multiple-Valued Computation Lutz J. Micheel (Wright Laboratory, U.S. Air Force, USA) Hans L. Hartnagel (University of Darmstadt, Germany) 16:15 Low-Energy Logic Circuit Techniques for Multiple-Valued Logic K. Wayne Current, Vojin G. Oklobdzija, D. Maksimovic (University of California at Davis, USA) 16:40 - 17:10 Coffee Break 17:10 - 18:40 Parallel Sessions 7A and 7B SESSION 7A: Algebra III 17:10 Polynomial Completeness Criteria in Finite Boolean Algebras Boris A. Romov (New York, USA) 17:35 Techniques of Computing Logic Derivatives for MVL-Functions Vladimir Shmerko, S. Yanushkevich (Technical University of Szczecin, Poland) V. Levashenko, I. Bondar (Belarussian State Economic University, Republic of Belarus) 18:00 On the Lattice of Partial Clones on a Finite Set Lucien Haddad, Jean Fugere (Royal Military College of Canada) 18:25 The Deepest Repetition Free Decompositions of non-singular functions of finite-valued logics are almost coinciding Fedir Sokhatsky (Pedagogical Institute of Vinnytsia, Ukrainia) SESSION 7B: Logic III 17:10 DT - An Automated Theorem Prover for Multiple-Valued First-Order Predicate Logics Stefan Gerberding (University of Darmstadt, Germany) 17:35 Logic expressions of monotonic multiple-valued functions Kyoichi Nakashima, Yutaka Nakamura, Noboru Takagi (Toyama Prefectural University, Japan) 18:00 Efficiently irreducible bases in multiple-valued logic Grant Pogosyan (International Christian University, Japan) 18:25 The Logical not-Polynomial Forms to represent Multiple-valued Functions Elena Zaitseva, Tatyana Kalganova (Belarussian State Economic University, Republic of Belarus) Evgeny Kochergov (Institute on Problems of Criminology, Criminalistics and Forensic Expertise, Republic of Belarus) 20:00: Symposium Banquet Back sasao@cse.kyutech.ac.jp

49. Biographien - Archiv Translate this page Hastings (1858-1924) http//www.bautz.de/bbkl/r/rashdall_h.shtml Rasin, Stephan http//www.weltchronik.de/bio/cethegus/r/rasin.html rasiowa, helena http//www http://www.biografien-im-netz.de/archiv.php?Letter=R&Page=250

50. English Books > Mathematics > Logic 1881526992 Logic At Work Essays Dedicated To The Memory Of helena rasiowa rasiowa,helena; Orlowska, Ewa; Hardback; Book ISBN 3790811645 Logic Colloquium 92 http://book.netstoreusa.com/index/bkbmb800.shtml

English Books German Books Spanish Books Sheet Music ... Mathematics Index of 258 Titles First page Prev Next Last page ... Advances In Linear Logic Girard, Jean-Yves Lafont, Yves Paperback; ; ISBN: 0521559618 Algebraic Foundations Of Many-Valued Reasoning Cignoli, Roberto D'Ottaviano, Itala M. L. Hardback; Book; ; ISBN: 0792360095 Algebraic Model Theory Other Hart, Bradd T. Hardback; Book; ; ISBN: 0792346661 An Accompaniment To Higher Mathematics (Corr Print) Exner, George Hardback; Book; ; ISBN: 0387946179 An Atlas Of The Smaller Maps In Orientable And Nonorientable Surfaces Jackson, D. M. Visentin, Terry I. Hardback; Book; ; ISBN: 1584882077 An Introduction To Formal Languages And Automata Linz, Peter Hardback; Book; ; ISBN: 0763714224 An Introduction To Formal Languages And Automata Linz, Peter Hardback; Book; ; ISBN: 076370296X An Introduction To Komogorov Complexity And Its Applications Li, Ming With Vitanyi, Paul Hardback; Book; ; ISBN: 0387948686 An Introduction To Mathematical Logic And Type Theory:: To Truth Through Proof Andrews, Peter B. Andrews, P. B. Hardcover;

51. LISTA PUBLIKACJI W 1996-1999 W. Marek, L. Polkowski and A. Skowron (1996). Fundamenta Informaticae28/34, Special Issue To the Memory of Professor helena rasiowa. http://logic.mimuw.edu.pl/lista.html

PUBLICATIONS SINCE 1996 A. DOCTORAL THESES B MASTER THESES ... SOFTWARE SYSTEMS A. DOCTORAL THESES Jan G. Bazan (1998). Metody wnioskowañ aproksymacyjnych dla syntezy algorytmów decyzyjnych. Ph. D. thesis, supervisor A. Skowron, Warsaw University, pp. 1-179. T. Mollestad (1996). A rough set approach to default rules data mining. Ph.D. Dissertation, supervisor J. Komorowski, Norvegian Institute of Technology, Trondheim, Norway. Rafa³ Deja (2000), Zastosowania metod zbiorów przyblizonych w analizie konfliktów. Ph. D. Dissertation, supervisor A. Skowron, Institute of Computer Science PAN. Hoa S. Nguyen (1999). Data regularity analysis and applications in data mining Ph. D. thesis, supervisor B. Chlebus, Warsaw University. Son H. Nguyen (1997). Discretization of real value attributes. Boolean reasoning approach. Ph. D. thesis, supervisor A. Skowron, Warsaw University Marcin S. Szczuka (1999). Metody symboliczne i sieci neuronowe w konstrukcji klasyfikatorów, (Symbolic methods and artificial neural networks in classifier construction) Ph. D. thesis,Warsaw University Ibrahim Tentush (1997).

52. Consequently.org 2001/11/26. helena rasiowa (19171994). helena rasiowa was an incredible logicianfrom Poland, who helped place the study of logics on a mathematical footing. http://consequently.org/archive/2001/11/26

consequently.org Helena Rasiowa (1917-1994) At last , a woman! The month is nearly at an end, and at last, I have found a female logician to join our list of stars. Helena Rasiowa was an incredible logician from Poland, who helped place the study of logics on a mathematical footing. Continuing on the work of Boole and Lukasiewicz, she showed, in her groundbreaking book An Algebraic Approach to Non-Classical Logics showed how contemporary techniques in algebra may be used to study the structures of propositions arising out of different conceptions of logic. This book is rich in ideas and treatments of Boolean algebras, Heyting algebras (models of intuitionistic logic), the many valued logics of Lukasiewicz, and others. This is one of the first books to give a unified treatment of logics rather than a partisan development of this system or that system. Rasiowa's work also encouraged me as a budding mathematics student, to go into logic. Browsing through its pages in the old University of Queensland Mathematics Library, I saw that the things I was learning in algebra could be used to illuminate my growing interests in logic. More information about Rasiowa can be found at the St. Andrews' History of Mathematics Entry

53. Consequently.org 2001/11/26. helena rasiowa (19171994). helena rasiowa was an incredible logicianfrom Poland, who helped place the study of logics on a mathematical footing. http://consequently.org/archive/2001/11/

consequently.org Jon Barwise (1942-2000) Jon Barwise was a renaissance logician . He didn't know everything but his contributions ranged so widely that he approximated omniscience quite well. His work ranges from infinitary logic (an extension of Frege-style predicate logic to deal with infinitely long sentences, and infinitary quantifiers), the model theory of first-order logic (continuing on from Tarski's work), generalsed quantifiers (quantifiers other than "for all" and "for some"), admissible sets and generalised recursion theory (the connections between sets and computation), situation semantics and the philosophy of language (using situations , restricted parts of the world as bearers of information, rather than just entire possible worlds), information theory (an account of how information flows and is transmitted), and the logic of diagrams (examining visual representation and inference, as well as linguistic representation). Barwise's work, in all of 35 years, has covered a huge range of disciplines, and it gives you some idea of the breadth of work available in contemporary logic. Barwise's approach of regularly moving into new fields, to keep fresh and active, is a helpful antidote in the current age of increasing specialisation and narrowing. If work like this is possible at the end of the 20th Century, it will be our job to see what might be done in the 21st. More information about Barwise can be found at the Barwise Memorial Pages at Indiana.

54. Aberja - Philosophen - R rasiowa, helena - Biografie (Philosophenlexikon.de);Ratzenhofer, Gustav - Biografie (Philosophenlexikon.de); Ravaisson http://www.aberja.com/WissenschaftTechnik/Philosophie/Philosophen/Philosophen-R/

Hybridsuchmaschine Alphabetischer Index Homepage anmelden Tipps zur Suche Hilfe mit Standardsuche mit Index-Suche mit Meta-Suche mit Auktions-Suche Aberja Philosophie Philosophen : Philosophen - R : Philosophen - R Radischtschew, Alexander Nikolajewitsch - Biografie (Philosophenlexikon.de) Raghunatha, Siroman - Biografie (Philosophenlexikon.de) Rahner, Karl - Biografie (Philosophenlexikon.de) Rajgrodzki, Jakub - Biografie (Philosophenlexikon.de) Ramée, Pierre de la - Biografie (Philosophenlexikon.de) Ramsey, Frank Plumpton - Biografie (Philosophenlexikon.de) Ramus, Petrus - Biografie (Philosophenlexikon.de) Ranke, Leopold von - Biografie (Philosophenlexikon.de) Rasiowa, Helena - Biografie (Philosophenlexikon.de) Ratzenhofer, Gustav - Biografie (Philosophenlexikon.de) Ravaisson-Mollieu, Félix - Biografie (Philosophenlexikon.de) Régis, Pierre Sylvain - Biografie (Philosophenlexikon.de) Regius, Henricus - Biografie (Philosophenlexikon.de) Rehmke, Johannes - Biografie (Philosophenlexikon.de) Reich, Wilhelm - Wilhelm Reich nicht konventionell als Psychoanalytiker, Marxist oder Orgonom, sondern als "Paraphilosoph" Reichenbach, Hans

55. Papers On Algebraic And Modal Logic Modal logic of relations Yde Venema Maarten Marx In Logic At Work,Memorial Volume for helena rasiowa. Mosaics and stepby-step. http://turing.wins.uva.nl/~marx/papers.html

Papers on modal and algebraic logic Maarten Marx Books CD ROM Papers in journals or collections ... Reviews Available preprints Most of my papers are available as ILLC preprints. Here is a listing of technical reports I (co)authored. Books Arrow Logic and Multi-Modal Logic Edited by Maarten Marx, Laszlo Polos and Michael Masuch 1996. CLSI Publications, Stanford. Multi Dimensional Modal Logic Maarten Marx and Yde Venema Applied Logic Series No.4 Kluwer Academic Publishers Review CD ROM JFAK. Essays dedicated to Johan van Benthem on the occassion of his 50th birthday Edited by Jelle Gerbrandy, Maarten Marx, Maarten de Rijke and Yde Venema 1999. Amsterdam University Press, Amsterdam. Papers in journals or collections To appear Constructive interpolation in hybrid logic Patrick Blackburn and Maarten Marx Journal of Symbolic Logic. Repairing the Interpolation Theorem in Quantified Modal Logic Areces, C.; Blackburn, P.; Marx, M. Annals of Pure and Applied Logic. Local variations on a loose theme: modal logic and decidability Maarten Marx and Yde Venema To appear in: Moshe Y. Vardi and Scott Weinstein (eds.)

56. Mosaics And Step-by-step Publisher's info. Orlowska, E., Institute of Telecommunications, Warsaw, Poland(Ed.) Logic at Work. Essays Dedicated to the Memory of helena rasiowa. http://turing.wins.uva.nl/~marx/pub/abstracts/mosstep.html

Mosaics and step-by-step Bibentry Publisher's info Orlowska, E., Institute of Telecommunications, Warsaw, Poland (Ed.) Logic at Work Essays Dedicated to the Memory of Helena Rasiowa The book is divided into eight parts whose topics are chosen to emphasize application areas of logic, in particular those related to soft computing. Each part demonstrates possible application of logical methods to problems in the respective areas. The book presents a broad variety of fields and issues in which logic provides conceptual, technical or methodological tool. In particular, important topics in foundations of soft computing, including fuzzy logic, multiple-valued logic, theories of inconsistency and ambiguity, theory of rough sets, theories of incomplete information are studied. The book may be seen as a resource to which readers can turn for research horizons and ideas on how logical models and methods can be developed and applied. It is a source for anyone who needs broad perspective on a role of applied logic and a better understanding of logical methods and their applications. All the contributions present new and original results. Keywords : Logic, Applied Logic, Soft Computing

57. Fuzzy Archive: IEEE ISMVL '96 Preliminary Program 0900 1045 SPECIAL SESSION helena rasiowa. Dr. JM Font (University of Barcelona,Spain) On the contributions of helena rasiowa to Mathematical Logic . http://www.dbai.tuwien.ac.at/marchives/fuzzy-mail96/0374.html

IEEE ISMVL '96 Preliminary Program ISMVL '96 Local Org. Comm. elieee@usc.es Wed, 17 Apr 1996 19:53:03 +0200 Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] Next message: Michael Lee: "SPECIAL BISC Seminar, MONDAY 22 April 1996, 320 Soda, 4-5:00pm" Previous message: Andrew_R._Mitz: "Looking for fuzzy programmer. No money (yet)" The Multiple-valued Logic Technical Committee of the IEEE Computer Society will hold its 26th. annual symposium on May 29 - 31, 1996 in Santiago de Compostela, Spain. The symposium will be sponsored by the University of Santiago de Compostela, the Commission for the 5th. Centennial Anniversary of the University of Santiago de Compostela and by the IEEE Computer Society. The symposium will be co-sponsored by the General Direction of Scientific and Technical Research (Spanish Ministry of Education and Science), the honorable Council of Santiago de Compostela and the Government of Galicia. The University of Santiago de Compostela will host the Symposium on its South campus, located in the new part of the city, very close to the old town. The

58. Activities December 1996, Stefan Banach Center, Warsaw, Poland Lecturer at the Symposium onLOGIC, ALGEBRA and COMPUTER SCIENCE in memoriam of helena rasiowa, December 6 http://www.cs.man.ac.uk/~jdix/activities.html

Stays Abroad (> 4 weeks) July-August 1994 Universite de Provence , Marseille, France: Visiting Professor at the Computer Science Department. October-November 1995 Technical University of Vienna , Vienna, Austria: Lecturing a course on "Deductive Databases and KR" at the Computer Science Department. December 1996 Stefan Banach Center , Warsaw, Poland: Lecturer at the Symposium on LOGIC, ALGEBRA and COMPUTER SCIENCE in memoriam of Helena Rasiowa, December 6-December 20 August 1997 Universite d'Aix-en-Provence , Aix-en-Provence, France: Lecturer at ESSLLI of a two weeks course on Knowledge Representation (joint with G. Brewka) Get My Slides October-November 1997 Technical University of Vienna , Vienna, Austria: Visiting Professor at the Computer Science Department of the Technical University of Vienna. WS 97/98 Computational Logic March-April 1998 Universidad Nacional del Sur , Bahia Blanca, Argentine: Visiting Professor at the Computer Science Department. Lecturing a course Knowledge Representation and LP July-October 1998 University of Maryland , College Park (MD), USA: Visiting Professor at the Department of Computer Science.

59. Logic At Work Essays Dedicated To The Memory Of Helena Rasiowa (Studies In Fuzzi Translate this page Logic at Work Essays Dedicated to the Memory of helena rasiowa (Studiesin Fuzziness and Soft Computing Vol 24) Orlowska Ewa. Logic http://www.fachbuch-arena.de/Orlowska-Ewa-Logic-at-Work-Essays-Ded-3790811645.ht

Logic at Work Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing Vol 24) Orlowska Ewa Titel: Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing Vol. 24) Autor: Orlowska Ewa Rubrik: graduate students Logik Angewandte Logik Researchers nonclassical logics computer science Soft Computing Informatik-Logiken Logic Applied-Logic FUZZINESS Brockmann Karl L., Stron Flex... Yoshida Chisato Illegal Immig... Hempelmann Bernd Optimales Fr... Böde Ulla, Gruber Edelg Klim... ... Home

60. Fundamenta Informaticae, Volume 25 1 January 1996 Number 2 February 1996 Number 3 4 March 1996 Special issue onformal language theory dedicated to the memory of Professor helena rasiowa. http://fi.mimuw.edu.pl/vol25.html

Contents of Fundamenta Informaticae Volume 25. Number 1 January 1996 Number 2 February 1996 March 1996 - Special issue on formal language theory dedicated to the memory of Professor Helena Rasiowa. Contents of Volume 25, Number 1, January 1996 Equational Constructor Induction I. BETHKE and P. RODENBURG On Grammar and Language Families H. FERNAU About a Polyhedron of Cubic Graphs V.A. BONDARENKO and S.V.YUROV Syntactic Elements of Declarative Programming: Symbolic Linear Equations A. BUJOSA and R. CRIADO Unification Modulo ACI+1+0 P. NARENDRAN On a Quantitative Notion of Uniformity S. KAUFMANN and M. KUMMER On a Notion of Concurrence W. KORCZYNSKI Contents of Volume 25, Number 2, February 1996 On Sets of Terms: A Study of Generalisation Revision and of Its Algorithmic Properties C. DE LA HIGUERA and M.-C. DANIEL-VATONNE Cartesian Stream Transformer Composition R. STEPHENS and B.C. THOMPSON A Note on the Grammatical Inference Problem for Even Linear Languages E. MAKINEN Axiomatizations of Temporal Logics on Trace Systems W. PENCZEK

A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

Page 3     41-60 of 88    Back | 1  | 2  | 3  | 4  | 5  | Next 20