Postulates for implicational calculi

Journal of Symbolic Logic 31 (1):7-9 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270616

Links

PhilArchive



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

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

Review: C. A. Meredith, Postulates for Implicational Calculi.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306.
Two variable implicational calculi of prescribed many-one degrees of unsolvability.Charles E. Hughes - 1976 - Journal of Symbolic Logic 41 (1):39-44.
Interpretations of classical implicational sentential calculus in nonclassical implicational calculi.Tadeusz Prucnal - 1974 - Studia Logica 33 (1):59 - 64.
The classification of propositional calculi.Alexander S. Karpenko - 2000 - Studia Logica 66 (2):253-271.
Completeness of implicational relevant logics.R. Kashima - 2000 - Logic Journal of the IGPL 8 (6):761-785.
On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
Studies in Implicational Calculi.Biswambhar Pahi - 1966 - Dissertation, Yale University
Some results for implicational calculi.R. A. Bull - 1964 - Journal of Symbolic Logic 29 (1):33-39.
Implicational f-structures and implicational relevance logics.A. Avron - 2000 - Journal of Symbolic Logic 65 (2):788-802.
Bull R. A.. Some results for implicational calculi.John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Models of three-valued calculi in implicational s5.Dolph Ulrich - 1983 - Bulletin of the Section of Logic 12 (2):73-75.
Jankov‐theorems for some implicational calculi.Biswambhar Pahi - 1975 - Mathematical Logic Quarterly 21 (1):193-198.
Triadic partial implicational propositional calculi.Charles E. Hughes - 1975 - Mathematical Logic Quarterly 21 (1):21-28.
Review: R. A. Bull, Some Results for Implicational Calculi. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-306.

Analytics

Added to PP
2009-01-28

Downloads
30 (#504,503)

6 months
1 (#1,459,555)

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.

Add more citations

References found in this work

Notes on the axiomatics of the propositional calculus.C. A. Meredith & A. N. Prior - 1963 - Notre Dame Journal of Formal Logic 4 (3):171-187.

Add more references