The aim of this book is to present the fundamental theoretical
results concerning inference rules in deductive formal systems.
Primary attention is focused on:
- admissible or permissible inference rules
- the derivability of the admissible inference rules
- the structural completeness of logics
- the bases for admissible and valid inference rules.
There is particular emphasis on propositional non-standard
logics (primary, superintuitionistic and modal logics) but general
logical consequence relations and classical first-order theories
are also considered.
The book is basically self-contained and special attention has
been made to present the material in a convenient manner for the
reader. Proofs of results, many of which are not readily available
elsewhere, are also included.
The book is written at a level appropriate for first-year
graduate students in mathematics or computer science. Although some
knowledge of elementary logic and universal algebra are necessary,
the first chapter includes all the results from universal algebra
and logic that the reader needs. For graduate students in
mathematics and computer science the book is an excellent
textbook.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
