Investigations Into Implicational S5

&
Mathematical Logic Quarterly 10 (13-17):203-220 (1964)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19640101305

Other Versions

No versions found

Links

PhilArchive



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

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

Investigations into implicational s5.C. A. Meredith & A. N. Prior - 1964 - Mathematical Logic Quarterly 10 (13‐17):203-220.
BCI-algebras from the point of view of logic.Jacek K. Kabzinski - 1983 - Bulletin of the Section of Logic 12 (3):126-128.
C. A. Meredith and A. N. Prior. Notes on the axiomatics of the prepositional calculus. Notre Dame journal of formal logic, vol. 4 , pp. 171–187. [REVIEW]John Bacon - 1968 - Journal of Symbolic Logic 33 (2):306-307.
On the incompleteness of a descending chain of extensions of implicational s5.Dolph Ulrich - 1992 - Mathematical Logic Quarterly 38 (1):321-323.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.
Independent Axioms for the Implicational Fragment of Sobociński's Three‐Valued Logic.Robert K. Meyer & Zane Parks - 1972 - Mathematical Logic Quarterly 18 (19-20):291-295.
Restricted Extensions of Implicational Calculi.Biswambhar Pahi - 1971 - Mathematical Logic Quarterly 17 (1):11-16.

Analytics

Added to PP
2013-11-24

Downloads
69 (#305,058)

6 months
12 (#296,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Principal type-schemes and condensed detachment.J. Roger Hindley & David Meredith - 1990 - Journal of Symbolic Logic 55 (1):90-105.
Basic properties of the equivalence.Jacek K. Kabziński - 1982 - Studia Logica 41 (1):17-40.

View all 7 citations / Add more citations

References found in this work

On a family of paradoxes.Arthur Prior - 1960 - Notre Dame Journal of Formal Logic 2 (1):16-32.
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