Academic : Mathematics

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 (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). The important issue of preservation of properties is extensively addressed. For instance, sufficient conditions are provided for a combined logic to be sound and complete when the original component logics are known to be sound and complete. The book brings the reader to the front line of current research in the field by showing both recent achievements and directions of future investigations (in particular, multiple open problems). It also provides examples of potential applications in emergent fields like security protocols, quantum computing, networks and argumentation theory, besides discussing more classical applications like software specification, knowledge representation, computational linguistics and modular automated reasoning. This monograph will be of interest to researchers and graduate students in mathematical logic, theory of computation and philosophical logic with no previous knowledge of the subject of combining and decomposing logics, but with a working knowledge of first-order logic. The book will also be relevant for people involved in research projects where logic is used as a tool and the need for working with several logics at the same time is mandatory (forinstance, temporal, epistemic and probabilistic logics). more...

Price: $209.00

Providing an introduction to Mathematica, this text is designed to help build the necessary skills for using the software effectively. more...

Price: $69.95

The VB 2008 language is a professional's gateway to the powerful .NET platform. VB combined with Visual Studio gives users the freedom to create applications faster and with a greater range of tools than any other coding environment. This handbook is ideal for anyone just learning about VB 2008. more...

Price: $39.99

Bob Miller's fail-safe methodology helps students grasp basic math and pre-algebra. All of the courses in the junior high, high school, and college mathematics curriculum require a thorough grounding in the fundamentals, principles, and techniques of basic math and pre-algebra, yet many students have difficulty grasping the necessary concepts. Utilizing the author's acclaimed and patented fail-safe methodology for making mathematics easy to understand, Bob Miller's Basic Math and Pre-Algebra for the Clueless enhances students' facility in these techniques and in understanding the basics. This valuable new addition to Bob Miller's Clueless series provides students with the reassuring help they need to master these fundamental techniques, gives them a solid understanding of how basic mathematics works, and prepares them to perform well in any further mathematics courses they take. more...

Price: $12.95

Computational logic is a growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. This book introduces computational logic from the foundations of first-order logic to decision procedures for arithmetic, data structures, and combination theories. more...

Price: $49.95