Short Introduction to Intuitionistic Logic

AvGrigori Mints

Häftad, Engelska, 2013

Del i serien University Series in Mathematics

1 589 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

1 484 kr

Beskrivning

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

Produktinformation

Utgivningsdatum:2013-04-26
Mått:155 x 235 x 9 mm
Vikt:230 g
Format:Häftad
Språk:Engelska
Serie:University Series in Mathematics
Antal sidor:131
Förlag:Springer-Verlag New York Inc.
ISBN:9781475773194

Utforska kategorier

Recensioner i media

'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

Innehållsförteckning

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.