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.

Dettagli sul prodotto

• Autori: V.v. (Krasnoyarsk University Rybakov
• Editore: ELSEVIER SCIENCE BV
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 14.03.1997
• EAN: 9780444895059
• ISBN: 978-0-444-89505-9
• Pagine: 616
• Serie: Studies in Logic and the Foundations of Mathematics
• Categoria: Scienze naturali, medicina, informatica, tecnica