Bulletin of Symbolic Logic 8 (4):533-534 (2002)

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

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,488
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Fragments of Heyting Arithmetic.Wolfgang Burr - 2002 - Bulletin of Symbolic Logic 8 (4):533-534.
Fragments of Heyting Arithmetic. [REVIEW]Lev Beklemishev - 2002 - Bulletin of Symbolic Logic 8 (4):533-533.
Closed Fragments of Provability Logics of Constructive Theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
Fragments of Heyting Arithmetic.Wolfgang Burr - 2000 - Journal of Symbolic Logic 65 (3):1223-1240.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Gödel's Intepretation of Heyting's Arithmetic.Georg Kreisel, G. Kreisel & A. Heyting - 1971 - Journal of Symbolic Logic 36 (1):169-171.
Quick Cut-Elimination for Strictly Positive Cuts.Toshiyasu Arai - 2011 - Annals of Pure and Applied Logic 162 (10):807-815.
Predicate Logics of Constructive Arithmetical Theories.Albert Visser - 2006 - Journal of Symbolic Logic 71 (4):1311 - 1326.
Minimal Models of Heyting Arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Minimal Models of Heyting Arithmetic.Ieke Moerdijk & Erik Palmgren - 1997 - Journal of Symbolic Logic 62 (4):1448-1460.
Intermediate Logics and the de Jongh Property.Dick de Jongh, Rineke Verbrugge & Albert Visser - 2011 - Archive for Mathematical Logic 50 (1-2):197-213.

Analytics

Added to PP index
2010-08-30

Total views
16 ( #583,238 of 2,326,757 )

Recent downloads (6 months)
2 ( #429,609 of 2,326,757 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes