A comparative study of several proof procedures

Artificial Intelligence 18 (3):269-293 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(82)90024-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

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

Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
Proof theory of modal logic.Heinrich Wansing (ed.) - 1996 - Boston: Kluwer Academic Publishers.
Probability in Logic. [REVIEW]R. A. A. - 1957 - Review of Metaphysics 11 (2):348-348.
A Comparative Study on First Source According to Avicenna & Leibniz.Mahdi Dehbashi & Zahra Zoufaghari - 2014 - Philosophical Investigations 8 (15):153-166.
A Comparative Study on First Source According to Avicenna & Leibniz.Mahdi Dehbashi & Zahra Zoufaghari - 2014 - Journal of Philosophical Investigations at University of Tabriz 8 (15):153-166.
Anthropos and Ethics: Categories of Inquiry and Procedures of Comparison.Thomas A. Lewis, Jonathan Wyn Schofer, Aaron Stalnaker & Mark A. Berkson - 2005 - Journal of Religious Ethics 33 (2):177 - 185.
Teaching and learning proof across the grades: a K-16 perspective.Despina A. Stylianou, Maria L. Blanton & Eric J. Knuth (eds.) - 2009 - New York: Routledge.
Generalisation of proof simulation procedures for Frege systems by M.L. Bonet and S.R. Buss.Daniil Kozhemiachenko - 2018 - Journal of Applied Non-Classical Logics 28 (4):389-413.
Due Process and Fair Procedures: A Study of Administrative Procedures.D. J. Galligan - 1996 - Oxford University Press UK.
Programs for Structured Proofs.Lee Harrison Blaine - 1980 - Dissertation, Stanford University
The Original Meaning of Thinking Way of Comparativism.Han-wen Fang - 2005 - Philosophy of the Social Sciences 35 (3):132-137.
Plausibility and Probability in Juridical Proof.Marcello Di Bello - 2019 - International Journal of Evidence and Proof 23 (1-2).
The Significance of Toshihiko Izutsu’s Legacy for Comparative Religion.Kojiro Nakamura - 2009 - Intellectual Discourse 17 (2).
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
Intuitionism and proof theory.A. Kino, John Myhill & Richard Eugene Vesley (eds.) - 1970 - Amsterdam,: North-Holland Pub. Co..

Analytics

Added to PP
2020-12-22

Downloads
1 (#1,905,322)

6 months
1 (#1,478,500)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Refutation graphs.Robert E. Shostak - 1976 - Artificial Intelligence 7 (1):51-64.

Add more references