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 |
_version_ | 1780948685670055936 |
---|---|
author | Rybakov, VV |
author_facet | Rybakov, VV |
author_sort | Rybakov, VV |
collection | CERN |
description | 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 |
id | cern-2066268 |
institution | Organización Europea para la Investigación Nuclear |
language | eng |
publishDate | 1997 |
publisher | Elsevier Science |
record_format | invenio |
spelling | cern-20662682021-04-21T20:03:08Zhttp://cds.cern.ch/record/2066268engRybakov, VVAdmissibility of logical inference rulesMathematical Physics and MathematicsThe 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 Elsevier Scienceoai:cds.cern.ch:20662681997 |
spellingShingle | Mathematical Physics and Mathematics Rybakov, VV Admissibility of logical inference rules |
title | Admissibility of logical inference rules |
title_full | Admissibility of logical inference rules |
title_fullStr | Admissibility of logical inference rules |
title_full_unstemmed | Admissibility of logical inference rules |
title_short | Admissibility of logical inference rules |
title_sort | admissibility of logical inference rules |
topic | Mathematical Physics and Mathematics |
url | http://cds.cern.ch/record/2066268 |
work_keys_str_mv | AT rybakovvv admissibilityoflogicalinferencerules |