Admissibility of Logical Inference Rules

Edited by Vladimir V. Rybakov - Mathematics Department Krasnoyarsk University Krasnoyarsk, Russia
Volume 136,

Pages 1-617 (1997)

Actions for selected chapters

/

  1. Preface and acknowledgments

    Pages 3-7
    View PDF
  2. Introduction

    Pages 8-15
  3. Chapter 1 Syntaxes and semantics

    Pages 17-102
  4. Chapter 2 Semantics for non-standard logics

    Pages 103-277
  5. Chapter 3 Criteria for admissibility

    Pages 279-391
  6. Chapter 4 Bases for inference rules

    Pages 393-473
  7. Chapter 5 Structural completeness

    Pages 475-523
  8. Chapter 6 Related questions

    Pages 525-594
  9. Index

    Pages 595-601
    View PDF
  10. Bibliography

    Pages 603-617

ISBN: 978-0-444-89505-9

ISSN: 0049-237X