Matrix satisfiability and axiomatization

Notre Dame Journal of Formal Logic 12 (3):309-321 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093894294

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

Satisfiability in a larger domain.R. L. Goodstein - 1974 - Notre Dame Journal of Formal Logic 15 (4):598-600.
In memoriam: Wilhelm Ackermann (1896-1962).Hans Hermes - 1967 - Notre Dame Journal of Formal Logic 8 (1-2):1-8.
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.
An axiomatization of predicate functor logic.Steven T. Kuhn - 1983 - Notre Dame Journal of Formal Logic 24 (2):233-241.
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.
Some preservation results for classical and intuitionistic satisfiability in Kripke models.Zoran Marković - 1983 - Notre Dame Journal of Formal Logic 24 (3):395-398.
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.
Trees and finite satisfiability: proof of a conjecture of Burgess.George Boolos - 1984 - Notre Dame Journal of Formal Logic 25 (3):193-197.
Axiomatization of fragments of S5.Thomas W. Scharle - 1975 - Notre Dame Journal of Formal Logic 16:45.
Kripke's axiomatization of S2.Charles F. Kielkopf - 1972 - Notre Dame Journal of Formal Logic 13:379.

Analytics

Added to PP
2010-08-24

Downloads
36 (#119,765)

6 months
3 (#1,723,834)

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