A simple irredundance test for tautological sequents

Erkenntnis 46 (2):175-183 (1997)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1005393029106

Links

PhilArchive



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

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

Hans-Joachim Dahms, positivismusstreit, die auseinandersetzung der frankfurter schule mit dem logischen positivismus, dem amerikanischen pragmatismus und dem kritischen rationalismus.Thomas Mormann - 1997 - Erkenntnis 46 (3):393-396.
Practical Philosophy.Peter McLaughlin - 1998 - Erkenntnis 49 (2):221-225.
Editorial.Franz Huber, Eric Swanson & Jonathan Weisberg - 2009 - Erkenntnis 70 (2):133-134.
Editorial.Wolfgang Spohn - 1999 - Erkenntnis 50 (1):1-3.
Editorial.Wolfgang Spohn - 1999 - Erkenntnis 50 (1):1-2.
Editorial.Wolfgang Sphon - 1997 - Erkenntnis 46 (1):1-4.
Thanks to the Reviewers of Erkenntnis.[author unknown] - 2011 - Erkenntnis 75 (1):5-17.
Editorial.John Earman, Clark Glymour & Sandra Mitchell - 2002 - Erkenntnis 57 (3):277-280.
Editorial.Hans Rott - 2003 - Erkenntnis 59 (1):1-3.
Vorwort.Elke Brendel & Rainer Trapp - 2001 - Erkenntnis 54 (1):3-5.

Analytics

Added to PP
2009-01-28

Downloads
22 (#166,999)

6 months
4 (#1,635,958)

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

Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
Wissenschaftslehre.Bernard Bolzano & Alois Höfler - 1837 - Revue de Métaphysique et de Morale 22 (4):15-16.
Relevant deduction.Gerhard Schurz - 1991 - Erkenntnis 35 (1-3):391 - 437.
Perfect validity, entailment and paraconsistency.Neil Tennant - 1984 - Studia Logica 43 (1-2):181 - 200.

View all 9 references / Add more references