Bulletin of the Section of Logic 38 (3/4):151-161 (2009)

Authors
Andrzej Indrzejczak
University of Lodz
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
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: 71,231
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

No references found.

Add more references

Citations of this work BETA

Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.

Add more citations

Similar books and articles

The Suszko Operator. Part I.Janusz Czelakowski - 2003 - Studia Logica 74 (1-2):181 - 231.
Applying the Contribution Principle.Christian Barry - 2005 - Metaphilosophy 36 (1-2):210-227.
A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic.H. Kushida & M. Okada - 2006 - Journal of Logic, Language and Information 16 (1):35-61.
Proof Theory of Modal Logic.Heinrich Wansing (ed.) - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
Goal-Directed Proof Theory.Dov M. Gabbay - 2000 - Dordrecht, Netherland: Kluwer Academic.
Proof of a Conjecture of Roman Suszko.Stanislaw Zachorowski - 1975 - Studia Logica 34 (3):253 - 256.
A Proof of a Conjecture of R. Suszko.Stanis law Zachorowski - 1975 - Bulletin of the Section of Logic 4 (3):115-117.
Proof Theory and Set Theory.Gaisi Takeuti - 1985 - Synthese 62 (2):255 - 263.

Analytics

Added to PP index
2013-12-22

Total views
18 ( #610,929 of 2,518,494 )

Recent downloads (6 months)
1 ( #408,186 of 2,518,494 )

How can I increase my downloads?

Downloads

My notes