You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Starting with simple examples showing the relevance of cutting and pasting logics, the monograph develops a mathematical theory of combining and decomposing logics, ranging from propositional and first-order based logics to higher-order based logics as well as to non-truth functional logics. The theory covers mechanisms for combining semantic structures and deductive systems either of the same or different nature. The issue of preservation of properties is addressed.
In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation algebra reducts, and relativised representations. Part 4 presents some constructions of relation algebras, including Monk algebras and the 'rainbow construction', and uses them to show that various classes of representable algebras are non-finitely axiomatisable or even non-elementary. Part 5 shows that the representability problem for finite relation algebras is undecidable, and then in contrast proves some finite base property results. Part 6 contains a condensed summary of the book, and a list of problems. There are more than 400 exercises. P The book is generally self-contained on relation algebras and on games, and introductory text is scattered throughout. Some familiarity with elementary aspects of first-order logic and set theory is assumed, though many of the definitions are given.-
The name "temporal logic" may sound complex and daunting; but while they describe potentially complex scenarios, temporal logics are often based on a few simple, and fundamental, concepts - highlighted in this book. An Introduction to Practical Formal Methods Using Temporal Logic provides an introduction to formal methods based on temporal logic, for developing and testing complex computational systems. These methods are supported by many well-developed tools, techniques and results that can be applied to a wide range of systems. Fisher begins with a full introduction to the subject, covering the basics of temporal logic and using a variety of examples, exercises and pointers to more advance...
This volume contains the proceedings of the 7th International Symposium of Frontiers of Combining Systems (FroCoS 2009) held during September 16-18, 2009 in Trento, Italy. Previous FroCoS meetings were organized in Munich (1996), Amsterdam (1998), Nancy (2000), Santa Margherita Ligure (2002), - enna (2005), and Liverpool (2007). In 2004, 2006, and 2008 FroCoS joined IJCAR, the International Joint Conference on Automated Reasoning. Like its predecessors, FroCoS 2009 o?ered a forum for the presentation and discussion of research activities on the combination, integration, analysis, m- ularization and interaction of formally de?ned systems, with an emphasis on logic-based ones. These issues are...
This book presents contributions from world-renowned logicians, discussing important topics of logic from the point of view of their further development in light of requirements arising from successful application in Computer Science and AI language. Coverage includes: the logic of provability, computability theory applied to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
A surrealistic novel made up of stories and reflections which equate pornography with political tyranny. It is set in Hungary under the Communists. By the author of Book of Hrabal.
An essential overview of the physical and mathematical background of radiative transfer, and its applications to stellar and planetary atmospheres.
A multitude of measurement units exist within astronomy, some of which are unique to the subject, causing discrepancies that are particularly apparent when astronomers collaborate with researchers from other disciplines in science and engineering. The International System of Units (SI) is based on seven fundamental units from which other units may be derived, but many astronomers are reluctant to drop their old and familiar systems. This handbook demonstrates the ease with which transformations from old units to SI units may be made. Using worked examples, the author argues that astronomers would benefit greatly if the reporting of astronomical research and the sharing of data were standardized to SI units. Each chapter reviews a different SI base unit, clarifying the connection between these units and those currently favoured by astronomers. This is an essential reference for all researchers in astronomy and astrophysics, and will also appeal to advanced students.
Proceedings of a Symposium held in Dwingeloo, The Netherlands, September 24-26, 1984 in honour of Adriaan Blaauw on the occasion of his 70th birthday