Cargando…
Admissibility of logical inference rules
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 b...
| Autor principal: | |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Elsevier Science
1997
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2066268 |