Research Article
A theory of restricted quantification II
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-129
-
- Article
- Export citation
Can the logic of indirect discourse be formalised?
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 225-232
-
- Article
- Export citation
Some results in church's restricted recursive arithmetic1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-342
-
- Article
- Export citation
A generalization of the concept of ω-completeness1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1-14
-
- Article
- Export citation
Uniformization of linear arrays
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-140
-
- Article
- Export citation
Eulerian syllogistic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 15-16
-
- Article
- Export citation
Inference by complementary elimination
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 233-236
-
- Article
- Export citation
A definition of existence in terms of abstraction and disjunction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 343-344
-
- Article
- Export citation
On the axioms of order and succession1
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-144
-
- Article
- Export citation
Sur la structuration du tableau des connectifs interpropositionnels binaires
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 17-18
-
- Article
- Export citation
On logically false evidence statements
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 345-349
-
- Article
- Export citation
Inferential equivalence and natural deduction
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 237-240
-
- Article
- Export citation
Reviews
Gerhard Gentzen. Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator. Presses Universitaires de France, Paris1955, XI + 170 pp. - Robert Feys. Préface. Therein, pp. VII–XI. - Robert Feys. Note A. Les méthodes de déduction naturelle. Therein, pp. 1–2. - Robert Feys. Note B. Notation explicite des suppositions. Therein, pp. 29–34. - Robert Feys. Note C. Méthodes N de Jaśkowski, Bernays et Johannson. Therein pp. 35–39. - Robert Feys. Note D. Variantes des calculs LK et LJ. Therein, pp. 77–83. - Jean Ladrière. Note E. Un calcul “MK” analogue au calcul NK. Therein, pp. 84–89. - Robert Feys. Note F. Signification des séquences et des schémas de structure. Therein, pp. 90–92. - Jean Ladriére. Note G. Les schémas de coupure et de fusion de séquences. Therein, pp. 93–97. - Jean Ladriére. Note H. Tableau de la démonstration du théorème fondamental. Therein, pp. 98–100. - Jean Ladriére. Note I. Marche de la démonstration du théorème fondamental. Therein, pp. 101–107. - Robert Feys. Note K. Marche des démonstrations d'équivalence. Therein, pp. 152–164.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-351
-
- Article
- Export citation
Research Article
A theory of restricted quantification I
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 19-35
-
- Article
- Export citation
Independent axiom schemata for von wright's M
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-244
-
- Article
- Export citation
The axiomatization of arithmetic
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-158
-
- Article
- Export citation
Two theories with axioms built by means of pleonasms
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-38
-
- Article
- Export citation
Reviews
Gaisi Takeuti. On a generalized logic calculus. Japanese journal of mathematics, Bd. 23 (1953), S. 39–96. Errata, ebd., Bd. 24 (1954), S. 149–156.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
-
- Article
-
- You have access
- Export citation
Research Article
A criterion for completeness of degrees of unsolvability
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 159-160
-
- Article
- Export citation
Vicious circle principle and the paradoxes
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 245-249
-
- Article
- Export citation