Satisfiability in a larger domain

Notre Dame Journal of Formal Logic 15 (4):598-600 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093891491

Links

PhilArchive



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

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

R. L. Goodstein and J. Hooley. On recursive transcendence. Notre Dame journal of formal logic, vol. 1 , pp. 127–137.John Staples - 1970 - Journal of Symbolic Logic 35 (2):335.
Matrix satisfiability and axiomatization.Robert Ackermann - 1971 - Notre Dame Journal of Formal Logic 12 (3):309-321.
More on trees and finite satisfiability: the taming of terms.Miodrag Kapetanović & Aleksandar Krapež - 1987 - Notre Dame Journal of Formal Logic 28 (3):392-394.
Some examples of different methods of formal proofs with generalizations of the satisfiability definition.Juliusz Reichbach - 1969 - Notre Dame Journal of Formal Logic 10 (2):214-224.
BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas.Robert Cowen & Katherine Wyatt - 1993 - Notre Dame Journal of Formal Logic 34 (4):602-606.
Trees and finite satisfiability: proof of a conjecture of Burgess.George Boolos - 1984 - Notre Dame Journal of Formal Logic 25 (3):193-197.
Some preservation results for classical and intuitionistic satisfiability in Kripke models.Zoran Marković - 1983 - Notre Dame Journal of Formal Logic 24 (3):395-398.
Domain restrictions in standard deductive logic.Peter Swiggart - 1979 - Notre Dame Journal of Formal Logic 20 (1):115-129.
Review: R. L. Goodstein, Constructive Formalism. Essays on the Foundations of Mathematics; R. L. Goodstein, The Foundations of Mathematics. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
A formal interpretation of Ł ukasiewicz' logics.Michael Byrd - 1979 - Notre Dame Journal of Formal Logic 20 (2):366-368.

Analytics

Added to PP
2010-08-24

Downloads
13 (#1,039,776)

6 months
2 (#1,445,278)

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