REFERENCES
Bolzano, B.: 1837, Wissenschaftslehre. Versuch einer ausführlichen und größtenteils neuen Darstellung der Logik mit steter Rücksicht auf deren bisherige Bearbeiter, 4 vols., v. Seidelsche Buchhandlung, Sulzbach.
Cleave, J. P.: 1973/4, 'An Account of Entailment based on Classical Semantics', Analysis 34, 118-22.
Diaz, M. R.: 1981, Topics in the Logic of Relevance, Philosophia Verlag, München.
Hindley, J. R.: 1993, 'BCK and BCI Logics, Condensed Detachment and the 2-Property', Notre Dame Journal of Formal Logic 34, 231-50.
Jaskowski, S.: 1963, 'Über Tautologien, in welchen keine Variable mehr als zweimal vorkommt', Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9, 219-28.
Ketonen, O.: 1944, Untersuchungen zum Prädikatenkalkül, Acta Societatis Scientiarum Fennicae 23, Helsinki.
Kleene, S. C.: 1967, Mathematical Logic, Wiley, New York-London-Sydney.
Körner, S.: 1979, 'On Logical Validity and Informal Appropriateness', Philosophy 54, 377-79.
Schurz, G.: 1991, 'Relevant Deduction', Erkenntnis 35, 391-437.
Smiley, T. J.: 1959, 'Deducibility and Entailment', Proceedings of the Aristotelian Society n.s. 59, 233-54.
Tennant, N.: 1984, 'Perfect Validity, Entailment and Paraconsistency', Studia Logica 43, 181-200.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
SchrÖder, J. A SIMPLE IRREDUNDANCE TEST FOR TAUTOLOGICAL SEQUENTS. Erkenntnis 46, 175–183 (1997). https://doi.org/10.1023/A:1005393029106
Issue Date:
DOI: https://doi.org/10.1023/A:1005393029106