Del 4 i serien Studies in Logic and Computation

What is a Logical System?

Inbunden, Engelska, 1994

3 249 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum1994-12-08
Mått160 x 241 x 29 mm
Vikt831 g
FormatInbunden
SpråkEngelska
SerieStudies in Logic and Computation
Antal sidor464
FörlagClarendon Press
ISBN9780198538592

Tillhör följande kategorier

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?