Deduction systems, Rolf Socher-ambrosius and Patricia Johann

Journal of Logic, Language and Information 8 (4):476-478 (1999)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008396817046

Links

PhilArchive



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

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

Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Two natural deduction systems for hybrid logic: A comparison. [REVIEW]Torben Braüner - 2004 - Journal of Logic, Language and Information 13 (1):1-23.
Kant, Transcendental Arguments and the Problem of Deduction.Rüdiger Bubner - 1975 - Review of Metaphysics 28 (3):453-467.
Logics of rejection: two systems of natural deduction.Allard Tamminga - 1994 - Logique Et Analyse 146:169-208.
A natural deduction system of indexical logic.Rolf Schock - 1980 - Notre Dame Journal of Formal Logic 21 (2):351-364.
Sequent calculus in natural deduction style.Sara Negri & Jan von Plato - 2001 - Journal of Symbolic Logic 66 (4):1803-1816.
Normal Forms in Combinatory Logic.Patricia Johann - 1994 - Notre Dame Journal of Formal Logic 35 (4):573-594.
A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.

Analytics

Added to PP
2009-01-28

Downloads
12 (#996,020)

6 months
1 (#1,346,405)

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