Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

A formalization of elenctic argumentation

  • 23 Accesses

This is a preview of subscription content, log in to check access.


  1. Church, A.: 1956,Introduction to Mathematical Logic. Volume 1, Princeton University Press, Princeton, New Jersey.

  2. Epstein, R. L.: 1990,The Semantic Foundations of Logic. Volume 1: Propositional Logics, Kluwer Academic Publishers, Dordrecht-Boston-London.

  3. Hermes, H.: 1973,Introduction to Mathematical Logic, Springer, Berlin-Heidelberg-New-York.

  4. Hughes, G. E. and Cresswell, M. J.: 1984,A Companion to Modal Logic, Methuen, London and New York.

  5. Martin, N.M.: 1989,Systems of Logic, Cambridge University Press, Cambridge.

  6. Rautenberg, W.: 1979,Klassische und nichtklassische Aussagenlogik, Vieweg, Braunschweig.

  7. Sundholm, G.: 1983,Systems of Deduction, in Gabbay, D. and Guenthner, F. (eds),Handbook of Philosophical Logic. Vol. 1: Elements of Classical Logic, Reidel, Dordrecht, pp. 133–188.

Download references

Author information

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Galvan, S. A formalization of elenctic argumentation. Erkenntnis 43, 111–126 (1995). https://doi.org/10.1007/BF01131842

Download citation