Review: R. A. Bull, The Implicational Fragment of Dummett's LC

Journal of Symbolic Logic 33 (2):305 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269916

Links

PhilArchive



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

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

The implicational fragment of dummet's LC.R. A. Bull - 1962 - Journal of Symbolic Logic 27 (2):189-194.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Bull R. A.. Some results for implicational calculi.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306.
Relevant implication and the weak deduction theorem.Diderik Batens - 1987 - Studia Logica 46 (3):239 - 245.
Review: R. A. Bull, Some Results for Implicational Calculi. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Fragments of Modal and Intuitionistic Propositional Calculi.Ralph Henry Moon - 1979 - Dissertation, Purdue University
Some results for implicational calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
Completeness of implicational relevant logics.R. Kashima - 2000 - Logic Journal of the IGPL 8 (6):761-785.
Substructural implicational logics including the relevant logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
Reduction in first-order logic compared with reduction in implicational logic.Tigran M. Galoyan - 2007 - Australasian Journal of Logic 5:58-65.
The shortest possible length of the longest implicational axiom.Dolph Ulrich - 1996 - Journal of Philosophical Logic 25 (1):101 - 108.
Computing interpolants in implicational logics.Makoto Kanazawa - 2006 - Annals of Pure and Applied Logic 142 (1):125-201.
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.
Bulls in the Meadows.Peter Bull - 1957

Analytics

Added to PP
2013-11-22

Downloads
16 (#883,649)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references