What is (or at least appears to be) wrong with intuitionistic logic?

In Georg Schurz (ed.), Advances in Scientific Philosophy. pp. 173-186 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

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

Leibniz's logic.Wolfgang Lenzen - 2004 - In Dov M. Gabbay, John Woods & Akihiro Kanamori (eds.), Handbook of the History of Logic. Elsevier. pp. 3--1.
Epistemic logic.Wolfgang Lenzen - 2004 - In M. Sintonen, J. Wolenski & I. Niiniluoto (eds.), Handbook of Epistemology. Kluwer Academic Publishers. pp. 963--983.
S4.1.4=S4.1.2 and S4.021=S4.04.Wolfgang Lenzen - 1978 - Notre Dame Journal of Formal Logic 19 (3):465-466.
S4:1:4 = s4:1:2 and s4:021 = s4:04.Wolfgang Lenzen - 1978 - Notre Dame Journal of Formal Logic 19 (July):465-466.
Leibniz's calculus of strict implication.Wolfgang Lenzen - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 1--35.
Doxastic logic and the Burge-Buridan-paradox.Wolfgang Lenzen - 1981 - Philosophical Studies 39 (1):43 - 49.
A rare accident.Wolfgang Lenzen - 1978 - Notre Dame Journal of Formal Logic 19 (2):249-250.
Recent work in epistemic logic.Wolfgang Lenzen - 1978 - Acta Philosophica Fennica 30:1-219.
Beschränkte und Unbeschränkte Reduktion von Konjunktionen von Modalitäten in S4.Wolfgang Lenzen - 1980 - Mathematical Logic Quarterly 26 (7‐9):131-143.
Wolfgang Lenzen, calculus universalis. Studien zur logik Von gw Leibniz. Paderborn: Mentis verlag, 2004. 380 pp. e48. 00. isbn 3-89785-362-0. [REVIEW]Hans Burkhardt - 2009 - History and Philosophy of Logic 30 (3):299.
Wolfgang Burr and Volker Hartung. A characterization of the Σ 1 -definable functions of KPω + (uniform AC). Archive for mathematical logic, vol. 37 no. 3 (1998), pp. 199–214. - Wolfgang Burr. A Diller—Nahm-style functional interpretation of KPω. Archive for mathematical logic, vol. 39 no. 8 (2000), pp. 599–604. [REVIEW]Reinhard Kahle - 2001 - Bulletin of Symbolic Logic 7 (4):532-533.
Preservativity logic: An analogue of interpretability logic for constructive theories.Rosalie Iemhoff - 2003 - Mathematical Logic Quarterly 49 (3):230-249.

Analytics

Added to PP
2014-01-25

Downloads
13 (#1,028,363)

6 months
3 (#968,143)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references