A survey of some connections between classical, intuitionistic and minimal logic

&
In H. Arnold Schmidt, K. Schütte & H. J. Thiele (eds.), Contributions to Mathematical Logic, Proceedings of the Logic Colloquium, Hannover 1966. North-Holland Publishing Company. pp. 215–229 (1968)
  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,349

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

Ontologically Minimal Logical Semantics.Uwe Meixner - 1995 - Notre Dame Journal of Formal Logic 36 (2):279-298.
Propositional Mixed Logic: Its Syntax and Semantics.Karim Nour & Abir Nour - 2003 - Journal of Applied Non-Classical Logics 13 (3-4):377-390.
From onions to broccoli: generalizing Lewis' counterfactual logic.Patrick Girard - 2007 - Journal of Applied Non-Classical Logics 17 (2):213-229.
A Hyperimmune Minimal Degree and an ANR 2-Minimal Degree.Mingzhong Cai - 2010 - Notre Dame Journal of Formal Logic 51 (4):443-455.
Neighborhoods for entailment.Lou Goble - 2003 - Journal of Philosophical Logic 32 (5):483-529.
On dp-minimal ordered structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
Logic of classical refutability and class of extensions of minimal logic.Sergei P. Odintsov - 2001 - Logic and Logical Philosophy 9:91.
Logic and Metaphysics.Edward N. Zalta - 2010 - Journal of the Indian Council of Philosophical Research 27 (2):155-184.
Temporal equilibrium logic: a survey.Felicidad Aguado, Pedro Cabalar, Martín Diéguez, Gilberto Pérez & Concepción Vidal - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):2-24.
Reflections on “difficult” embeddings.Andreja Prijatelj - 1995 - Journal of Philosophical Logic 24 (1):71 - 84.
O-Minimal Spectra, Infinitesimal Subgroups and Cohomology.Alessandro Berarducci - 2007 - Journal of Symbolic Logic 72 (4):1177 - 1193.
Minimal but not strongly minimal structures with arbitrary finite dimensions.Koichiro Ikeda - 2001 - Journal of Symbolic Logic 66 (1):117-126.
On dp-minimality, strong dependence and weight.Alf Onshuus & Alexander Usvyatsov - 2011 - Journal of Symbolic Logic 76 (3):737 - 758.
Separating minimal, intuitionist, and classical logic.David Meredith - 1983 - Notre Dame Journal of Formal Logic 24 (4):485-490.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.

Analytics

Added to PP
2014-01-26

Downloads
2 (#1,784,141)

6 months
1 (#1,510,037)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dag Prawitz
Stockholm University

Citations of this work

Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Contra-classical logics.Lloyd Humberstone - 2000 - Australasian Journal of Philosophy 78 (4):438 – 474.
Synonymous logics.Francis Jeffry Pelletier & Alasdair Urquhart - 2003 - Journal of Philosophical Logic 32 (3):259-285.
Epistemic and intuitionistic formal systems.R. C. Flagg & H. Friedman - 1986 - Annals of Pure and Applied Logic 32:53-60.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references