Model theoretical investigation of theorem proving methods

&
Notre Dame Journal of Formal Logic 19 (4):523-542 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093888501

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

A Henkin completeness theorem for T.M. J. Cresswell - 1967 - Notre Dame Journal of Formal Logic 8:186.
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains.L. Wos, S. Winker, R. Veroff, B. Smith & L. Henschen - 1983 - Notre Dame Journal of Formal Logic 24 (2):205-223.
A model theoretic proof of Feferman's preservation theorem.David Marker - 1984 - Notre Dame Journal of Formal Logic 25 (3):213-216.
Tense trees: a tree system for ${\rm K}_{{\rm t}}$.B. J. Copeland - 1983 - Notre Dame Journal of Formal Logic 24 (3):318-322.
On the maximality of some pairs of p-t degrees.Xi Zhong Zheng - 1992 - Notre Dame Journal of Formal Logic 34 (1):29-35.
Norwood Russell Hanson. A note on the Gödel theorem. Notre Dame journal of formal logic, vol. 2 , p. 228.Alonzo Church - 1963 - Journal of Symbolic Logic 28 (4):295.
On proving functional incompleteness in symbolic logic classes.Francis Jeffry Pelletier & W. David Sharp - 1988 - Notre Dame Journal of Formal Logic 29 (2):235-248.
Constructing ω-stable Structures: Rank k-fields.John T. Baldwin & Kitty Holland - 2003 - Notre Dame Journal of Formal Logic 44 (3):139-147.
Remarks on the completeness of logical systems relative to the validity-concepts of P. Lorenzen and K. Lorenz.Wolfgang Stegmüller - 1964 - Notre Dame Journal of Formal Logic 5 (2):81-112.
A five-valued model of the $E$-$p$-$q$-theses.Dolph Ulrich - 1987 - Notre Dame Journal of Formal Logic 29 (1):137-138.

Analytics

Added to PP
2010-08-24

Downloads
31 (#129,909)

6 months
13 (#1,035,185)

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