Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 37 (9-12):129-138 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19910370902

Links

PhilArchive



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

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

Syntactical Proof of Translation and Separation Theorems on Subsystems of Elementary Ontology.Mitio Takano - 1991 - Mathematical Logic Quarterly 37 (9‐12):129-138.
On a Property of Matrices for Subsystems of IC+.Dolph Ulrich - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):193-194.
On subsystems of the system J1 of Arruda and Da Costa.Igor Urbas - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (2):95-106.
Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):511-524.
Quasilinear Posets and some Subsystems Of Dummett's LC.Pierluigi Minari - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (3):257-266.
A General Theorem on Existence Theorems.Martin Stein - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (25-30):435-452.
Galois Theorems for Isolated Fields.Erik Ellentuck - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (1):1-9.
Monadic Elementary Formal Systems.Raymond M. Smullyan - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (6):81-83.
Provability in Elementary Type Theory.Peter B. Andrews - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (25-27):411-418.
The Finite Model Property and Subsystems of Classical Propositional Calculus.Ronald Harrop - 1959 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 5 (1-2):29-32.

Analytics

Added to PP
2016-02-04

Downloads
33 (#125,351)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Proof theory.Gaisi Takeuti - 1975 - New York, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..

View all 6 references / Add more references