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

Mathematical Logic Quarterly 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

Other Versions

reprint Takano, Mitio (1991) "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

Links

PhilArchive



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

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

A Topological Proof of the Löwenheim‐Skolem, Compactness, and Strong Completeness Theorems for Free Logic.Bas C. van Fraassen - 1968 - Mathematical Logic Quarterly 14 (13-17):245-254.
Boolos-style proofs of limitative theorems.György Serény - 2004 - Mathematical Logic Quarterly 50 (2):211.
Second order theories with ordinals and elementary comprehension.Gerhard Jäger & Thomas Strahm - 1995 - Archive for Mathematical Logic 34 (6):345-375.
Fragments of arithmetic.Wilfried Sieg - 1985 - Annals of Pure and Applied Logic 28 (1):33-71.
Syntactical results on the arithmetical completeness of modal logic.Paolo Gentilini - 1993 - Studia Logica 52 (4):549 - 564.
Eliminating disjunctions by disjunction elimination.Davide Rinaldi, Peter Schuster & Daniel Wessel - 2017 - Bulletin of Symbolic Logic 23 (2):181-200.
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
Elementary constructive theory of Henselian local rings.María E. Alonso, Henri Lombardi & Hervé Perdry - 2008 - Mathematical Logic Quarterly 54 (3):253-271.
Proof Systems Combining Classical and Paraconsistent Negations.Norihiro Kamide - 2009 - Studia Logica 91 (2):217-238.

Analytics

Added to PP
2013-12-01

Downloads
21 (#1,012,268)

6 months
6 (#879,768)

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..
Proof Theory.Gaisi Takeuti - 1990 - Studia Logica 49 (1):160-161.

View all 7 references / Add more references