Data & IT
Admissibility of Logical Inference Rules
V V Rybakov • Vladimir V Rybakov • V V Rybakov
Inbunden
2569:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Inbunden
- ISBN: 9780444895059
- Språk: Engelska
- Antal sidor: 616
- Utgivningsdatum: 1997-03-14
- Förlag: Elsevier Science & Technology