- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Short Introduction to Intuitionistic Logic
New York, NY, USA: Kluwer Academic Publishers (2000)
Abstract
Intuitionistic logic is presented here as part of familiar classical logic which allows mechanical extraction of programs from proofs to make the material more accessible. The presentation is based on natural deduction and readers are assumed to be familiar with basic notions of first order logic.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A short introduction to intuitionistic logic.Grigori Mints - 2000 - New York: Kluwer Academic / Plenum Publishers.
Grigori Mints. A short introduction to intuitionistic logic. The university series in mathematics. Kluwer Academic/Plenum Publishers, New York etc. 2000, ix + 131 pp.Helmut Schwichtenberg - 2002 - Bulletin of Symbolic Logic 8 (4):520-521.
Erotetic Calculus for Propositional Intuitionistic Logic.Dorota Leszczyńska-Jasion - 2025 - In The Method of Socratic Proofs: From the Logic of Questions to Proof Theory. Cham: Springer Nature Switzerland. pp. 199-227.
Inquisitive Intuitionistic Logic.Wesley H. Holliday - 2020 - In Nicola Olivetti & Rineke Verbrugge, Advances in Modal Logic, Vol. 11. College Publications. pp. 329-348.
Kripke semantics and proof systems for combining intuitionistic logic and classical logic.Chuck Liang & Dale Miller - 2013 - Annals of Pure and Applied Logic 164 (2):86-111.
Wansing's bi-intuitionistic logic: semantics, extension and unilateralisation.Juan C. Agudelo-Agudelo - 2024 - Journal of Applied Non-Classical Logics 34 (1):31-54.
Intuitionism and Intuitionistic Logic.H. C. M. de Swart - 2018 - In Harrie de Swart, Philosophical and Mathematical Logic. Cham: Imprint: Springer. pp. 379-426.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Axiomatic calculi.Paolo Mancosu, Sergio Galvan & Richard Zach - 2021 - In Paolo Mancosu, Sergio Galvan & Richard Zach, An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs. Oxford: Oxford University Press. pp. 13-64.
Information types in intuitionistic predicate logic with constant domains.Vít Punčochář & Carles Noguera - 2026 - Logic Journal of the IGPL 34 (1).
Analytics
Added to PP
2021-11-17
Downloads
19 (#1,855,646)
6 months
3 (#1,865,240)
2021-11-17
Downloads
19 (#1,855,646)
6 months
3 (#1,865,240)
Historical graph of downloads
Citations of this work
Correspondence of Contradictions in the Constructive Connexive Calculus C.Satoru Niki - 2026 - Archive for Mathematical Logic 65 (5):593-629.
On expressive power of basic modal intuitionistic logic as a fragment of classical FOL.Grigory K. Olkhovikov - 2017 - Journal of Applied Logic 21 (C):57-90.
Failure of interpolation in constant domain intuitionistic logic.Grigori Mints, Grigory Olkhovikov & Alasdair Urquhart - 2013 - Journal of Symbolic Logic 78 (3):937-950.
Infinitary logic with infinite sequents: syntactic investigations.Matteo Tesi - 2023 - Mathematical Logic Quarterly 70 (1):79-98.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation