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: & bull; <IT>admissible</IT> or <IT>permissible</IT> inference rules & bull; the derivability of the admissib... Full description

Full text

Bibliographic Details
Published:	Amsterdam : Elsevier, 1997
Persons:	Rybakov, Vladimir V. -
Format:	Book / E-Book
Language:	English
Series:	Studies in logic and the foundations of mathematics
Keywords:	Logic Symbolic and mathematical / http://id.loc.gov/authorities/subjects/sh85078115 Logic Symbolic and mathematical / fast / (OCoLC)fst01002068 Logica matematica / larpcal Inférence (Logique) MATHEMATICS / Logic / bisacsh Logica / gtt Logique symbolique et mathématique Inference / http://id.loc.gov/authorities/subjects/sh85066082 MATHEMATICS / Infinity / bisacsh Inference / fast / (OCoLC)fst00972355 Modeltheorie / gtt more... less...
Physical description:	617 pages
ISBN:	9780080525990 9780444895059

Online

Full text
Copy