On certain normalizable natural deduction formulations of some propositional intermediate logics

Notre Dame Journal of Formal Logic 29 (4):563-568 (1988)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,343

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Refutation calculi for certain intermediate propositional logics.Tomasz Skura - 1992 - Notre Dame Journal of Formal Logic 33 (4):552-560.
Some completeness results for intermediate propositional logics.C. G. McKay - 1967 - Notre Dame Journal of Formal Logic 8 (3):191-194.
Natural deduction rules for modal logics.Thomas W. Satre - 1972 - Notre Dame Journal of Formal Logic 13 (4):461-475.
Some syntactical properties of intermediate predicate logics.Nobu-Yuki Suzuki - 1990 - Notre Dame Journal of Formal Logic 31 (4):548-559.
A simplified natural deduction approach to certain modal systems.Bangs L. Tapscott - 1987 - Notre Dame Journal of Formal Logic 28 (3):371-384.
Some systems of natural deduction.Paul Strauss - 1967 - Notre Dame Journal of Formal Logic 8 (4):286-290.

Analytics

Added to PP
2010-08-24

Downloads
30 (#787,710)

6 months
5 (#702,808)

Historical graph of downloads
How can I increase my downloads?

References found in this work

No references found.

Add more references