Research Article
Uniform Gentzen systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 549-559
-
- Article
- Export citation
Constructively accessible ordinal numbers1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 43-55
-
- Article
- Export citation
Degrees of recursively enumerable sets which have no maximal supersets
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 431-443
-
- Article
- Export citation
A simplified account of validity and implication for quantificational logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 231-235
-
- Article
- Export citation
S3(S) = S3.5
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 444-445
-
- Article
- Export citation
Nonstandard logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 236-250
-
- Article
- Export citation
Analytic cut
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 560-564
-
- Article
- Export citation
Effectively extensible theories1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 56-68
-
- Article
- Export citation
An unsolved problem in the theory of constructive order types
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 565-567
-
- Article
- Export citation
The consistency of Leśniewski's mereology relative to the real number system1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-257
-
- Article
- Export citation
Implicit definability and infinitary languages1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 446-451
-
- Article
- Export citation
On the completeness of some transfinite recursive progressions of axiomatic theories
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 69-76
-
- Article
- Export citation
The decidability of certain intermediate propositional logics1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 258-264
-
- Article
- Export citation
Hauptsatz for higher order logic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 452-457
-
- Article
- Export citation
The inadequacy of Kripke's semantical analysis of D2 and D3
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 568
-
- Article
- Export citation
On the scope of the classical deduction theorem
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 77-81
-
- Article
- Export citation
On systems containing Aristotle's thesis
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 82-96
-
- Article
- Export citation
Independence of two nice sets of axioms for the propositional calculus
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 265-270
-
- Article
- Export citation
Lemmon-style bases for the systems S1°-S4°
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 458-461
-
- Article
- Export citation
Replacement in some modal systems
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 569-570
-
- Article
- Export citation