10 results
POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND $\Gamma _{0}$
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 30 / Issue 1 / March 2024
 Published online by Cambridge University Press:
 19 January 2024, pp. 4191
 Print publication:
 March 2024

 Article

 You have access
 Open access
 HTML
 Export citation
WEYL REEXAMINED: “DAS KONTINUUM” 100 YEARS LATER
 Part of

 Journal:
 Bulletin of Symbolic Logic / Volume 26 / Issue 1 / March 2020
 Published online by Cambridge University Press:
 10 June 2020, pp. 2679
 Print publication:
 March 2020

 Article

 You have access
 Open access
 Export citation
REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS

 Journal:
 The Review of Symbolic Logic / Volume 12 / Issue 1 / March 2019
 Published online by Cambridge University Press:
 26 October 2018, pp. 173200
 Print publication:
 March 2019

 Article
 Export citation
Peter Smith. An introduction to Gödel's theorems. Cambridge Introductions to Philosophy, Cambridge University Press, 2007, xiv + 362 pp.

 Journal:
 Bulletin of Symbolic Logic / Volume 15 / Issue 2 / June 2009
 Published online by Cambridge University Press:
 15 January 2014, pp. 218222
 Print publication:
 June 2009

 Article
 Export citation
John C. Mitchell. Foundations for programming languages. Foundations of computing. The MIT Press, Cambridge, Mass., and London, 1996, xix + 846 pp.

 Journal:
 The Journal of Symbolic Logic / Volume 64 / Issue 2 / June 1999
 Published online by Cambridge University Press:
 12 March 2014, pp. 918922
 Print publication:
 June 1999

 Article
 Export citation
Natural 3valued logics—characterization and proof theory

 Journal:
 The Journal of Symbolic Logic / Volume 56 / Issue 1 / March 1991
 Published online by Cambridge University Press:
 12 March 2014, pp. 276294
 Print publication:
 March 1991

 Article
 Export citation
Relevance and paraconsistency—a new approach

 Journal:
 The Journal of Symbolic Logic / Volume 55 / Issue 2 / June 1990
 Published online by Cambridge University Press:
 12 March 2014, pp. 707732
 Print publication:
 June 1990

 Article
 Export citation
A constructive analysis of RM

 Journal:
 The Journal of Symbolic Logic / Volume 52 / Issue 4 / December 1987
 Published online by Cambridge University Press:
 12 March 2014, pp. 939951
 Print publication:
 December 1987

 Article
 Export citation
On modal systems having arithmetical interpretations

 Journal:
 The Journal of Symbolic Logic / Volume 49 / Issue 3 / September 1984
 Published online by Cambridge University Press:
 12 March 2014, pp. 935942
 Print publication:
 September 1984

 Article
 Export citation
Relevant entailment—semantics and formal systems

 Journal:
 The Journal of Symbolic Logic / Volume 49 / Issue 2 / June 1984
 Published online by Cambridge University Press:
 12 March 2014, pp. 334342
 Print publication:
 June 1984

 Article
 Export citation