Intuitionistic Logic

In D. M. Gabbay & F. Guenthner (eds.), ¸ Itegabbay2002. Kluwer Academic Publishers. pp. 1-115 (2002)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

original van Dalen, Dirk (2001) "Intuitionistic Logic". In Goble, Lou, The Blackwell Guide to Philosophical Logic, pp. 224–257: Wiley-Blackwell (2001)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Intuitionistic Logic.Dirk van Dalen - 2001 - In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Malden, Mass.: Wiley-Blackwell. pp. 224–257.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
On an Intuitionistic Logic for Pragmatics.Gianluigi Bellin, Massimiliano Carrara & Daniele Chiffi - 2018 - Journal of Logic and Computation 50 (28):935–966..
Foundations of Intuitionistic Logic.G. Kreisel - 1965 - Journal of Symbolic Logic 30 (2):243-244.
A Remark on Intuitionistic Logic.W. Peremans - 1951 - Journal of Symbolic Logic 16 (3):225-226.
On the Intuitionistic Logic.S. C. Kleene - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:741-743.
Realizability and intuitionistic logic.J. Diller & A. S. Troelstra - 1984 - Synthese 60 (2):253 - 282.
Remarks on Intuitionistic Logic.E. W. Beth - 1974 - Journal of Symbolic Logic 39 (3):609-609.
Partial and Intuitionistic Logic.Szymon Frankowski - 2011 - Bulletin of the Section of Logic 40 (3/4):179-188.
Completeness for intuitionistic logic.David McCarty - 1996 - In Piergiorgio Odifreddi (ed.), Kreiseliana: About and Around Georg Kreisel. A K Peters. pp. 301--334.

Analytics

Added to PP
2016-09-21

Downloads
1 (#1,944,520)

6 months
1 (#1,886,937)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Dirk Van Dalen
Utrecht University

Citations of this work

Semantic expressivism for epistemic modals.Peter Hawke & Shane Steinert-Threlkeld - 2020 - Linguistics and Philosophy 44 (2):475-511.
A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.

View all 49 citations / Add more citations

References found in this work

No references found.

Add more references