19 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. 41-91
- 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. 26-79
- 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. 173-200
- Print publication:
- March 2019
-
- Article
- Export citation
Effects of Metabolic Syndrome on Language Functions in Aging
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 21 / Issue 2 / February 2015
- Published online by Cambridge University Press:
- 06 February 2015, pp. 116-125
-
- Article
- Export citation
Language dominance and inhibition abilities in bilingual older adults*
-
- Journal:
- Bilingualism: Language and Cognition / Volume 18 / Issue 1 / January 2015
- Published online by Cambridge University Press:
- 04 April 2013, pp. 79-89
-
- Article
- Export citation
Chronic Postconcussion Symptoms and Functional Outcomes in OEF/OIF Veterans with Self-Report of Blast Exposure
-
- Journal:
- Journal of the International Neuropsychological Society / Volume 19 / Issue 1 / January 2013
- Published online by Cambridge University Press:
- 25 October 2012, pp. 1-10
-
- Article
- Export citation
Do dietary patterns in older men influence change in homocysteine through folate fortification? The Normative Aging Study
-
- Journal:
- Public Health Nutrition / Volume 12 / Issue 10 / October 2009
- Published online by Cambridge University Press:
- 01 October 2009, pp. 1760-1766
-
- Article
-
- You have access
- HTML
- 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. 218-222
- Print publication:
- June 2009
-
- Article
- Export citation
A note on the structure of bilattices
-
- Journal:
- Mathematical Structures in Computer Science / Volume 5 / Issue 3 / September 1995
- Published online by Cambridge University Press:
- 04 March 2009, pp. 431-438
-
- Article
- Export citation
The structure of interlaced bilattices
-
- Journal:
- Mathematical Structures in Computer Science / Volume 6 / Issue 3 / June 1996
- Published online by Cambridge University Press:
- 04 March 2009, pp. 287-299
-
- Article
- Export citation
Implicational F-structures and implicational relevance logics
-
- Journal:
- The Journal of Symbolic Logic / Volume 65 / Issue 2 / June 2000
- Published online by Cambridge University Press:
- 12 March 2014, pp. 788-802
- Print publication:
- June 2000
-
- 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. 918-922
- Print publication:
- June 1999
-
- Article
- Export citation
Multiplicative conjunction and an algebraic meaning of contraction and weakening
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 831-859
- Print publication:
- September 1998
-
- Article
- Export citation
Natural 3-valued 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. 276-294
- 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. 707-732
- Print publication:
- June 1990
-
- Article
- Export citation
The β-carotene-rich alga Dunaliella bardawil as a source of retinol in a rat diet
-
- Journal:
- British Journal of Nutrition / Volume 59 / Issue 3 / May 1988
- Published online by Cambridge University Press:
- 09 March 2007, pp. 443-449
- Print publication:
- May 1988
-
- Article
-
- You have access
- 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. 939-951
- 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. 935-942
- 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. 334-342
- Print publication:
- June 1984
-
- Article
- Export citation