A deduction rule for VBTO ()"n""i"=1

Notre Dame Journal of Formal Logic 18:510 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888029

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,296

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

NOR logic: a system of natural deduction.Laurence S. Gagnon - 1976 - Notre Dame Journal of Formal Logic 17 (2):293-294.
A natural deduction system of indexical logic.Rolf Schock - 1980 - Notre Dame Journal of Formal Logic 21 (2):351-364.
Natural deduction in normal modal logic.John Hawthorn - 1990 - Notre Dame Journal of Formal Logic 31 (2):263-273.
Some systems of natural deduction.Paul Strauss - 1967 - Notre Dame Journal of Formal Logic 8 (4):286-290.
A deduction theorem for restricted generality.M. W. Bunder - 1973 - Notre Dame Journal of Formal Logic 14 (3):341-346.
Deduction theorems in significance logics.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):695-700.
A note on natural deduction in many-valued logic.Bruce White - 1974 - Notre Dame Journal of Formal Logic 15 (1):167-168.
A natural deduction system for modal logic.John Thomas Canty - 1964 - Notre Dame Journal of Formal Logic 5 (3):199-210.
A note on natural deduction.Michael D. Resnik - 1966 - Notre Dame Journal of Formal Logic 7 (2):206-208.
Axiomatic quasi-natural deduction.John R. Gregg - 1970 - Notre Dame Journal of Formal Logic 11 (2):221-228.

Analytics

Added to PP
2010-08-24

Downloads
28 (#589,033)

6 months
1 (#1,516,603)

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