Allgemeine Logische und Mathematische Theorien

&
Mathematical Logic Quarterly 16 (6):353-376 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19700160608

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

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

Das Syntheseproblem der Schaltalgebra und Seine Mathematische Formulierung.H. Rohleder - 1966 - Mathematical Logic Quarterly 12 (1):13-22.
Kolloquium „Grundlagen der Mathematik, Mathematische Maschinen und Ihre Anwendungen”.[author unknown] - 1962 - Mathematical Logic Quarterly 8 (3-4):353-355.
Eine Erweiterung der Elementaren Prädikatenlogik, Anwendungen in der Arithmetik und anderen Mathematischen Theorien.Helmut Wolter - 1973 - Mathematical Logic Quarterly 19 (11‐12):181-190.
Remarks on Perzanowski's modal system'.J. J. Blaszczuk & W. Dziobiak - 1975 - Bulletin of the Section of Logic 4 (2):57-64.
Algebraization of Jaśkowski’s Paraconsistent Logic D2.Janusz Ciuciura - 2015 - Studies in Logic, Grammar and Rhetoric 42 (1):173-193.
Einbettung elementarer Theorien in endlich axiomatisierbare.Klaus Härtig - 1958 - Mathematical Logic Quarterly 4 (17-20):249-292.
Rekursive Untrennbarkeit Bei Elementaren Theorien.Hans-Dietrich Hecker - 1971 - Mathematical Logic Quarterly 17 (1):443-463.
Über Metatheoretische Eigenschaften Einiger Geometrischer Theorien.Wolfgang Rautenberg - 1962 - Mathematical Logic Quarterly 8 (1):5-41.
Metatheoretische Eigenschaften Gewisser Klassen von Elementaren Theorien.Kurt Hauschild - 1968 - Mathematical Logic Quarterly 14 (13-17):205-244.
Entscheidbarkeit von Theorien in Logiken mit verallgemeinerten Quantoren.Heinrich Herre & Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):229-246.

Analytics

Added to PP
2013-11-24

Downloads
22 (#975,058)

6 months
4 (#1,252,858)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Discussive sentential calculus of Jaśkowski.Jerzy Kotas - 1975 - Studia Logica 34 (2):149-168.

View all 13 citations / Add more citations

References found in this work

An axiom system for the modular logic.Jerzy Kotas - 1967 - Studia Logica 21 (1):17 - 38.

Add more references