Admissibility of Logical Inference Rules

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.

Détails du produit

• Auteurs: V.v. (Krasnoyarsk University Rybakov
• Edition: ELSEVIER SCIENCE BV
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 14.03.1997
• EAN: 9780444895059
• ISBN: 978-0-444-89505-9
• Pages: 616
• Thème: Studies in Logic and the Foundations of Mathematics
• Catégorie: Sciences naturelles, médecine, informatique, technique