The implicational fragment of dummet's LC

Journal of Symbolic Logic 27 (2):189-194 (1962)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964113

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,830

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

Dummet's LC has the interpolation property.Stanislaw Zachorowski - 1978 - Bulletin of the Section of Logic 7 (2):58-60.
Finite limitations on Dummet's LC.Ivo Thomas - 1962 - Notre Dame Journal of Formal Logic 3 (3):170-174.
On two open questions concerning the implicational fragment of r-Mingle.Dolph Ulrich - 2009 - Bulletin of the Section of Logic 38 (1/2):1-4.
Relevant implication and the weak deduction theorem.Diderik Batens - 1987 - Studia Logica 46 (3):239 - 245.
Implicational relevance logic is 2-exptime-complete.Sylvain Schmitz - 2016 - Journal of Symbolic Logic 81 (2):641-661.
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.
Reduction in first-order logic compared with reduction in implicational logic.Tigran M. Galoyan - 2007 - Australasian Journal of Logic 5:58-65.
R. A. Bull. An approach to tense logic. Theoria, vol. 36 , pp. 282–300.Nino Cocchiarella - 1974 - Journal of Symbolic Logic 39 (1):173.
Bull R. A.. An algebraic study of tense logics with linear time. [REVIEW]Nino Cocchiarella - 1971 - Journal of Symbolic Logic 36 (1):173.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.

Analytics

Added to PP
2009-01-28

Downloads
68 (#307,702)

6 months
14 (#219,708)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

For Want of an ‘And’: A Puzzle about Non-Conservative Extension.Lloyd Humberstone - 2005 - History and Philosophy of Logic 26 (3):229-266.
Prior’s OIC nonconservativity example revisited.Lloyd Humberstone - 2014 - Journal of Applied Non-Classical Logics 24 (3):209-235.

Add more citations

References found in this work

Logicians at play; or syll, simp and Hilbert.A. N. Prior - 1956 - Australasian Journal of Philosophy 34 (3):182 – 192.

Add more references