Elimination Theorems of Uniqueness Conditions

Mathematical Logic Quarterly 28 (33‐38):511-524 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19820283306

Links

PhilArchive



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

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

Elimination Theorems of Uniqueness Conditions.Nobuyoshi Motohashi - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (33-38):511-524.
Cut-elimination Theorems of Some Infinitary Modal Logics.Yoshihito Tanaka - 2001 - Mathematical Logic Quarterly 47 (3):327-340.
Modal sequents for normal modal logics.Claudio Cerrato - 1993 - Mathematical Logic Quarterly 39 (1):231-240.
On The Uniqueness of the Lindenbaum Extension.Teodor StępIeń - 1988 - Mathematical Logic Quarterly 34 (5):463-469.
Elimination of Cardinality Quantifiers.H. P. Tuschik - 1982 - Mathematical Logic Quarterly 28 (4‐7):75-81.
Cut elimination for propositional dynamic logic without.Robert A. Bull - 1992 - Mathematical Logic Quarterly 38 (1):85-100.
Classical linear logics with mix separation principle.Norihiro Kamide - 2003 - Mathematical Logic Quarterly 49 (2):201-209.
Cut Elimination in ε‐Calculi.Mitsuru Yasuhara - 1982 - Mathematical Logic Quarterly 28 (20‐21):311-316.
Weak forms of elimination of imaginaries.Enrique Casanovas Ruiz-Fornells - 2004 - Mathematical Logic Quarterly 50 (2):126.
Elimination of Quantifiers on Łukasiewicz Logics.Néstor G. Martínez - 1989 - Mathematical Logic Quarterly 35 (1):15-21.

Analytics

Added to PP
2013-12-01

Downloads
2 (#1,819,493)

6 months
20 (#139,007)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non‐elementary speed‐ups in logic calculi.Toshiyasu Arai - 2008 - Mathematical Logic Quarterly 54 (6):629-640.

Add more citations

References found in this work

Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..

Add more references