Two separation theorems for natural deduction

Notre Dame Journal of Formal Logic 7 (2):159-180 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093958557

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

Algebraic aspects of deduction theorems.Janusz Czelakowski - 1985 - Studia Logica 44 (4):369 - 387.
Local deductions theorems.Janusz Czelakowski - 1986 - Studia Logica 45 (4):377 - 391.
Deduction theorems for weak implicational logics.M. W. Bunder - 1982 - Studia Logica 41 (2-3):95 - 108.
A Brief History of Natural Deduction.Francis Jeffry Pelletier - 1999 - History and Philosophy of Logic 20 (1):1-31.
Natural deduction, separation, and the meaning of logical operators.Kent Bendall - 1978 - Journal of Philosophical Logic 7 (1):245 - 276.
Two shortcomings of natural deduction.Hugues Leblanc - 1966 - Journal of Philosophy 63 (2):29-37.
Normalization theorems for full first order classical natural deduction.Gunnar Stålmarck - 1991 - Journal of Symbolic Logic 56 (1):129-149.
The strong proof from hypotheses and conditionals: Some theorems of deduction for relevant systems.E. A. Sidorenko - 1983 - Studia Logica 42 (2-3):165 - 171.
A double deduction system for quantum logic based on natural deduction.Yannis Delmas-Rigoutsos - 1997 - Journal of Philosophical Logic 26 (1):57-67.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
A Speech Act Calculus. A Pragmatised Natural Deduction Calculus and its Meta-theory.Moritz Cordes & Friedrich Reinmuth - manuscript
Deduction theorems for RM and its extensions.Marek Tokarz - 1979 - Studia Logica 38 (2):105 - 111.
A consistent theory of attributes in a logic without contraction.Richard B. White - 1993 - Studia Logica 52 (1):113 - 142.

Analytics

Added to PP
2010-08-24

Downloads
21 (#720,615)

6 months
7 (#418,426)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Sentence connectives in formal logic.Lloyd Humberstone - forthcoming - Stanford Encyclopedia of Philosophy.
A Survey of Nonstandard Sequent Calculi.Andrzej Indrzejczak - 2014 - Studia Logica 102 (6):1295-1322.
Hommage à Hugues Leblanc, philosophe logicien.Robert Nadeau - 1986 - Philosophiques 13 (1):131-145.

Add more citations

References found in this work

No references found.

Add more references