A short introduction to intuitionistic logic (Book, 2000) [WorldCat.org]
skip to content
A short introduction to intuitionistic logic Preview this item
ClosePreview this item

A short introduction to intuitionistic logic

Author: Grigori Mints
Publisher: New York : Kluwer Academic/Plenum, cop. 2000.
Series: University series in mathematics.
Edition/Format:   Print book : EnglishView all editions and formats

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


(not yet rated) 0 with reviews - Be the first.

More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...


Document Type: Book
All Authors / Contributors: Grigori Mints
ISBN: 0306463946 9780306463945
OCLC Number: 645136997
Description: ix, 131 p.
Contents: Introduction. I: Intuitionistic Propositional Logic. 1. Preliminaries. 2. Natural Deduction for Propositional Logic. 3. Negative Translation: Glivenko's Theorem. 4. Program Interpretation of Intuitionistic Logic. 5. Computations with Deductions. 6. Coherence Theorem. 7. Kripke Models. 8. Gentzen-type Propositional System LJpm. 9. Topological Completeness. 10. Proof-Search. 11. System LJpm. 12. Interpolation Theorem. II: Intuitionistic Predicate Logic. 13. Natural Deduction System NJ. 14. Kripke Models for Predicate Logic. 15. Systems LJm, LJ. 16. Proof-Search in Predicate Logic. References. Index.
Series Title: University series in mathematics.
Responsibility: Grigori Mints.


Editorial reviews

Publisher Synopsis

`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 Read more...

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...


Be the first.

Similar Items

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.