References
John P. Cleave, An Account of Entailment based on Classical Semantics, Analysis 34 (1973/4), 118–22.
M. Richard Diaz, Topics in the Logic of Relevance, München 1981.
J. Michael Dunn, A Sieve for Entailment, Journal of Philosophical Logic 9 (1980), 41–57.
Richard C. Jeffrey, Formal Logic: Its Scope and Limits, New York 1967.
Stephan Körner, Conceptual Thinking, London 1959.
Stephan Körner, Experience and Conduct, Cambridge 1976.
Stephan Körner, On Logical Validity and Informal Inappropriateness, Philosophy 54 (1979), 377–9.
Raymond M. Smullyan, First-Order Logic, Berlin-Heidelberg-New York 1968.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Schröder, J. Körner's criterion of relevance and analytic tableaux. J Philos Logic 21, 183–192 (1992). https://doi.org/10.1007/BF00248638
Issue Date:
DOI: https://doi.org/10.1007/BF00248638