
Tell your friends about this item:
Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1st edition
Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia)
Admissibility of Logical Inference Rules - Studies in Logic and the Foundations of Mathematics 1st edition
Rybakov, V.V. (Krasnoyarsk University, Mathematics Department, Krasnoyarsk, Russia)
Aims to present the fundamental theoretical results concerning inference rules in deductive formal systems. This book focuses on admissible or permissible inference rules; the derivability of the admissible inference rules; the structural completeness of logics; and the bases for admissible and valid inference rules.
616 pages
Media | Books Hardcover Book (Book with hard spine and cover) |
Released | March 14, 1997 |
ISBN13 | 9780444895059 |
Publishers | Elsevier Science & Technology |
Pages | 616 |
Dimensions | 160 × 230 × 30 mm · 1.04 kg |
Language | English |