Short Introduction to Intuitionistic Logic

Häftad, Engelska, 2013

AvGrigori Mints

1 999 kr

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

Finns i fler format (1)

Inbunden

1 919 kr

Skickas inom 10-15 vardagar

Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs.

Produktinformation

Utgivningsdatum2013-04-26
Mått155 x 235 x 9 mm
Vikt230 g
FormatHäftad
SpråkEngelska
SerieUniversity Series in Mathematics
Antal sidor131
FörlagSpringer-Verlag New York Inc.
ISBN9781475773194

Tillhör följande kategorier

Intuitionistic Predicate Logic.- Natural Deduction System NJ.- Kripke Models for Predicate Logic.- Systems LJm, LJ.- Proof-Search in Predicate Logic.- Preliminaries.- Natural Deduction for Propositional Logic.- Negative Translation: Glivenko’s Theorem.- Program Interpretation of Intuitionistic Logic.- Computations with Deductions.- Coherence Theorem.- Kripke Models.- Gentzen-type Propositional System LJpm.- Topological Completeness.- Proof-search.- System LJp.- Interpolation Theorem.

'This is the most welcome addition to the literature on intuitionistic logic, providing a substantial reference of value comparable to that of better established references for classical mathematical logic. The development of Mints' book is natural, elegant and accessible, with a minimum of fuss but no lack of attention to important detail. Overall, the book is an excellent addition to the literature.' Mathematical Reviews, 2002b