Product Description
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. ... Read more

Product Description
This book honours Helena Rasiowa, a respected mathematician who was known for her openness to new ideas, her strong sense of quality and a far-reaching view of the role of mathematics in computer science. Rasiowa was born in Vienna, Austria in 1917, but she and her Polish parents moved to Warsaw after Poland re-gained independence. During her student life, Rasiowa was inspired by Polish logicians. After WWII, she met Andrzej Mostowski and started working at the University of Warsaw, where she got her PhD under Mostowskis guidance. She was Editor-in-Chief of the journal Fundamenta Informaticae from 1977 till her death in 1994. The authors of this volume have built on the intellectual heritage of Helena Rasiowa. They have all proven to be influential in the field and were therefore invited to contribute to this publication. Subjects covered here include: monadic second order logic; game solution, epistemic dynamics and fixed-point logics; forcing and type theory; graded beliefs and intentions; local computations; approximation spaces; dynamic mereotopology and a retrospective view of process specification formalism.

IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.

Some of the areas we publish in:

-Biomedicine
-Oncology
-Artificial intelligence
-Databases and information systems
-Maritime engineering
-Nanotechnology
-Geoengineering
-All aspects of physics
-E-governance
-E-commerce
-The knowledge economy
-Urban studies
-Arms control
-Understanding and responding to terrorism
-Medical informatics
-Computer Sciences ... Read more

Product Description
Contents: L Banachowski, A Kreczmar, G Mirkowska, H Rasiowa, A Salwicki - An Introduction to Algorithmic Logic: Metamathematical Investigations in the Theory of Programs (p 7);W Bartol, Z Ras, A Skowron - Theory of Computing Systems (p 101);A Blikle - An Analysys of programs by Algebraic Means (p 167);W Lipski, Jr, W Marek - On Information Storage and Retrieval Systems (p 215) ... Read more