13629 results in The Journal of Symbolic Logic
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 869-890
- Print publication:
- September 1998
-
- Article
- Export citation
Forcing on bounded arithmetic II
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 860-868
- Print publication:
- September 1998
-
- Article
- Export citation
Completions of PA: Models and enumerations of representable sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1063-1082
- Print publication:
- September 1998
-
- Article
- Export citation
Variations on a theme by Weiermann
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 897-925
- Print publication:
- September 1998
-
- 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
Small fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 995-1002
- Print publication:
- September 1998
-
- Article
- Export citation
Newton C. A. da Costa. On the theory of inconsistent formal systems. Notre Dame journal of formal logic, vol. 15 (1974), pp. 497–510. - Newton C. A. da Costa. The philosophical import of paraconsistent logic. The journal of non-classical logic (Campinas), vol. 1 (1982), pp. 1–19. - Newton C. A. da Costa. On paraconsistent set theory. Logique et analyse, n.s. vol. 29 (1986), pp. 361–371. - Newton C. A. da Costa, Jean-Yves Béziau, and Otávio Bueno. Paraconsistent logic in a historical perspective. Logique et analyse, vol. 38 (for 1995, pub. 1997), pp. 111–126.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1183-1184
- Print publication:
- September 1998
-
- Article
- Export citation
The fine structure of real mice
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 937-994
- Print publication:
- September 1998
-
- Article
- Export citation
Witnessing functions in bounded arithmetic and search problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1095-1115
- Print publication:
- September 1998
-
- Article
- Export citation
On automorphism groups of countable structures
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 891-896
- Print publication:
- September 1998
-
- Article
- Export citation
Nowhere precipitousness of some ideals
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1003-1006
- Print publication:
- September 1998
-
- Article
- Export citation
Ideals over ω and cardinal invariants of the continuum
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1040-1054
- Print publication:
- September 1998
-
- Article
- Export citation
JSL volume 63 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b2
- Print publication:
- September 1998
-
- Article
-
- You have access
- Export citation
Proof systems for probabilistic uncertain reasoning
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1007-1039
- Print publication:
- September 1998
-
- Article
- Export citation
Wolfram Pohlers. Pure proof theory. Aims, methods and results. The bulletin of symbolic logic, vol. 2 (1996), pp. 159–188.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, p. 1185
- Print publication:
- September 1998
-
- Article
- Export citation
Extenders, embedding normal forms, and the Martin-Steel-theorem
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1137-1176
- Print publication:
- September 1998
-
- Article
- Export citation
JSL volume 63 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1998
-
- Article
-
- You have access
- Export citation
Murray Shanahan. Solving the frame problem. A mathematical investigation of the common sense law of inertia. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1997, xxxiv + 407 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 3 / September 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1186-1188
- Print publication:
- September 1998
-
- Article
- Export citation
Paires de structures O-minimales
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 570-578
- Print publication:
- June 1998
-
- Article
- Export citation
Ehud Hrushovski, The Mordell–Lang conjecture for function fields. Journal of the American Mathematical Society, vol. 9 (1996), pp. 667–690.
-
- Journal:
- The Journal of Symbolic Logic / Volume 63 / Issue 2 / June 1998
- Published online by Cambridge University Press:
- 12 March 2014, pp. 744-746
- Print publication:
- June 1998
-
- Article
- Export citation