Gentzen systems, resolution, and literal trees

Notre Dame Journal of Formal Logic 27 (4):483-503 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093636762

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

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

Gentzen-type systems, resolution and tableaux.Arnon Avron - 1993 - Journal of Automated Reasoning 10:265-281.
Resolution calculus for the first order linear logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
Resolution and the origins of structural reasoning: Early proof-theoretic ideas of Hertz and Gentzen.Peter Schroeder-Heister - 2002 - Bulletin of Symbolic Logic 8 (2):246-265.
Automated natural deduction in thinker.Francis Jeffry Pelletier - 1998 - Studia Logica 60 (1):3-43.
Protoalgebraic Gentzen systems and the cut rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.
Destructive Modal Resolution ∗.Melvin Fitting - unknown
On different intuitionistic calculi and embeddings from int to S.Uwe Egly - 2001 - Studia Logica 69 (2):249-277.
Literal meaning, conventional meaning and first meaning.C. J. L. Talmage - 1994 - Erkenntnis 40 (2):213 - 225.
Game Trees For Decision Analysis.Prakash P. Shenoy - 1998 - Theory and Decision 44 (2):149-171.
Labelled resolution for classical and non-classical logics.D. M. Gabbay & U. Reyle - 1997 - Studia Logica 59 (2):179-216.
Gentzen's Proof of Normalization for Natural Deduction.Jan von Plato & G. Gentzen - 2008 - Bulletin of Symbolic Logic 14 (2):240 - 257.
Uniform Gentzen systems.Raymond M. Smullyan - 1968 - Journal of Symbolic Logic 33 (4):549-559.
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.

Analytics

Added to PP
2010-08-24

Downloads
11 (#1,110,001)

6 months
1 (#1,510,037)

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

No references found.

Add more references