Mathematical Logic Quarterly 28 (20‐21):311-316 (1982)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19820282004
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,707
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Theory.K. Schütte - 1977 - Springer Verlag.
Grundlagen der Mathematik II.D. Hilbert & P. Bernays - 1974 - Journal of Symbolic Logic 39 (2):357-357.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

An Addition to “Cut Elimination in Ε‐Calculi”.Mitsuru Yasuhara - 1989 - Mathematical Logic Quarterly 35 (6):483-484.
Analytic Combinatory Calculi and the Elimination of Transitivity.Pierluigi Minari - 2003 - Archive for Mathematical Logic 43 (2):159-191.
Bunched Logics Displayed.James Brotherston - 2012 - Studia Logica 100 (6):1223-1254.
On Inversion Principles.Enrico Moriconi & Laura Tesconi - 2008 - History and Philosophy of Logic 29 (2):103-113.
Sequent Calculi for Some Trilattice Logics.Norihiro Kamide & Heinrich Wansing - 2009 - Review of Symbolic Logic 2 (2):374-395.
Substructural Logics with Mingle.Norihiro Kamide - 2002 - Journal of Logic, Language and Information 11 (2):227-249.

Analytics

Added to PP index
2013-12-01

Total views
11 ( #760,717 of 2,333,192 )

Recent downloads (6 months)
2 ( #396,114 of 2,333,192 )

How can I increase my downloads?

Downloads

My notes