- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Ein rechenverfahren für die elementare logik
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 ringAuthor's Profile
Other Versions
My notes
Similar books and articles
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.
Plymen R. J.. A model of the arithmetic of alephs in the equation calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 7 , pp. 257–258. [REVIEW]V. Vuckovic - 1970 - Journal of Symbolic Logic 35 (2):321-321.
Stolpersteine auf dem argumentativen Weg zur Logik.Carl Friedrich Gethmann - 1988 - Zeitschrift Für Allgemeine Wissenschaftstheorie 19 (1):119-123.
Probability: A new logico-semantical approach. [REVIEW]Christina Schneider - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (1):107 - 124.
A calculus for finitely satisfiable formulas with identity.Arthur M. Bullock & Hubert H. Schneider - 1972 - Archive for Mathematical Logic 15 (3-4):158-163.
A modal calculus analogous to k4w, based on intuitionistic propositional logic, iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Einführung in die Mathematische Logik. [REVIEW]J. M. P. - 1966 - Review of Metaphysics 19 (4):812-812.
Analytics
Added to PP
2009-01-28
Downloads
25 (#868,970)
6 months
3 (#1,465,011)
2009-01-28
Downloads
25 (#868,970)
6 months
3 (#1,465,011)
Historical graph of downloads
Author's Profile
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6b8b7fc7ff-tfxs4 uwo