Ein rechenverfahren für die elementare logik

Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 12 (1):110-115 (1981)
  Copy   BIBTEX

Abstract

This study gives an arithmetic calculus to determine tautologies, contradictions and satisfiable formulas of the first order logic. The presented calculus may easily be extended on modal and deontic logic. The mathematical foundation of this arithmetic calculus is a Boolean ring

Categories

Keywords

Reprint years

DOI

10.1007/bf01811307

Links

PhilArchive



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

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

Die relevanz der deontischen logik für die ethik.Gerhard Frey - 1973 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 4 (2):345-355.
Die innere Struktur der Zeit als ein Problem für die Formale Logik.Gerold Prauss - 1993 - Zeitschrift für Philosophische Forschung 47 (4):542 - 558.
Die aristotelische Logik des Seins und die nicht-aristotelische Logik der Reflexion.Gotthard Günther - 1958 - Zeitschrift für Philosophische Forschung 12 (3):360 - 407.
Sein als Genesis von Bedeutung. Ein Versuch über die Entwicklung des Anfangs in Hegels 'Wissenschaft der Logik'.Georg Römpp - 1989 - Zeitschrift für Philosophische Forschung 43 (1):58 - 80.
Die reduktion physikalischer theorien. Ein beitrag zur einheit der physik, I: Grundlagen und elementare theorie, Berlin etc. [REVIEW]Werner Diederich - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (2):388-396.
Die Reduktion physikalischer Theorien. Ein Beitrag zur Einheit der Physik, I: Grundlagen und elementare Theorie, Berlin etc. [REVIEW]Kristian Köchy - 1999 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 30 (2):389-396.
Über ein Enthaltensein der Aussagenlogik in der Begriffslogik. Ein Beitrag zur Einheit der Logik.Bruno Baron V. Freytag Löringhoff - 1961 - Zeitschrift für Philosophische Forschung 15 (4):541 - 555.
Logik für die Seeschlacht: Mögliche Spielzüge.Niko Strobach - 1998 - Zeitschrift für Philosophische Forschung 52 (1):105 - 119.
Die symbolisierten Elemente der Leibnizischen Logik.Franz Schmidt - 1966 - Zeitschrift für Philosophische Forschung 20 (3/4):595 - 605.
Ein rechenverfahren für die elementare logik II.Klaus J. Schmidt - 1984 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 15 (1):22-33.

Analytics

Added to PP
2009-01-28

Downloads
19 (#781,160)

6 months
1 (#1,516,429)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Klaus J. Schmidt
Ruhr-Universität Bochum

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references