What is a Logical System?

Inbunden, Engelska, 1994

Del 4 i serien Studies in Logic and Computation

2 498 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

This extraordinary collection of papers addresses a fundamental question of logic and computation. "What is a logical system?". With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied.

Produktinformation

Utgivningsdatum:1994-12-08
Mått:160 x 241 x 29 mm
Vikt:831 g
Format:Inbunden
Språk:Engelska
Serie:Studies in Logic and Computation
Antal sidor:464
Förlag:Clarendon Press
ISBN:9780198538592

Utforska kategorier

Innehållsförteckning

1. What is logic ; 2. Logic without model theory ; 3. Diagrams and the concept of logical system ; 4. General dynamics ; 5. What is a deductive system ; 6. The transmission of truth and the transmitting of abduction ; 7. What is a logical system? ; 8. What is a logical system? ; 9. Structure, consequence relation ; 10. Schematic consequence ; 11. Logical constants and punctuation marks ; 12. Finitary inductively presented logics ; 13. A-theory and its metatheory in FSo ; 14. General logics and logical frameworks ; 15. General algebraic logic, a perspective on What is Logic?