13629 results in The Journal of Symbolic Logic
Expressing infinity without foundation
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1230-1235
- Print publication:
- December 1991
-
- Article
- Export citation
David Maier and David S. Warren. Computing with logic. Logic programming with Prolog. The Benjamin/Cummings Publishing Company, Menlo Park, Calif., etc., 1988, xxi + 535 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 1495
- Print publication:
- December 1991
-
- Article
- Export citation
Pseudoprojective strongly minimal sets are locally projective
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1184-1194
- Print publication:
- December 1991
-
- Article
- Export citation
Axiomatizing a category of categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1243-1260
- Print publication:
- December 1991
-
- Article
- Export citation
John M. Vickers. Chance and structure. An essay on the logical foundations of probability. Clarendon library of logic and philosophy. Clarendon Press, Oxford University Press, Oxford and New York1988, viii + 244 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1492-1493
- Print publication:
- December 1991
-
- Article
- Export citation
Countable structures, Ehrenfeucht strategies, and Wadge reductions
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1325-1348
- Print publication:
- December 1991
-
- Article
- Export citation
W. V. Quine. The logic of sequences. A generalization of Principia mathematica. Harvard dissertations in philosophy. Garland Publishing, New York and London1990, xi + 290 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1488
- Print publication:
- December 1991
-
- Article
- Export citation
Elementary embedding between countable Boolean algebras
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1212-1229
- Print publication:
- December 1991
-
- Article
- Export citation
Vann McGee. Conditional probabilities and compounds of conditionals. The philosophical review, vol. 98 (1989), pp. 485–541.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1493-1494
- Print publication:
- December 1991
-
- Article
- Export citation
Generalized Fitting subgroup of a group of finite Morley rank
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1391-1399
- Print publication:
- December 1991
-
- Article
- Export citation
Corrections to Where do sets come from?
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 1486
- Print publication:
- December 1991
-
- Article
- Export citation
Andreas Blass. Selective ultrafilters and homogeneity. Annals of pure and applied logic, vol. 38 (1988), pp. 215–255. - Claude Laflamme. Forcing with filters and complete combinatorics. Annals of pure and applied logic, vol. 42 (1989), pp. 125–163.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1490-1492
- Print publication:
- December 1991
-
- Article
- Export citation
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1403-1451
- Print publication:
- December 1991
-
- Article
- Export citation
Building iteration trees
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1369-1384
- Print publication:
- December 1991
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1505-1542
- Print publication:
- December 1991
-
- Article
- Export citation
Walter P. van Stigt. Brouwer's intuitionism. Studies in the history and philosophy of mathematics, vol. 2. North-Holland, Amsterdam etc. 1990, xxvi + 530 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, p. 1499
- Print publication:
- December 1991
-
- Article
- Export citation
Dual easy uniformization and model-theoretic descriptive set theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1290-1316
- Print publication:
- December 1991
-
- Article
- Export citation
G. Priest and R. Routley. First historical introduction. A preliminary history of paraconsistent and dialethic approaches. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 3–75. - Ayda I. Arruda. Aspects of the historical development of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 99–130. - G. Priest and R. Routley. Systems of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 151–186. - G. Priest and R. Routley. Applications of paraconsistent logic. Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 367–393. - G. Priest and R. Routley. The philosophical significance and inevitability of paraconsistency, Paraconsistent logic, Essays on the inconsistent, edited by Graham Priest, Richard Routley, and Jean Norman, Analytica, Philosophia Verlag, Munich, Hamden, and Vienna, 1989, pp. 483–539.
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1503-1504
- Print publication:
- December 1991
-
- Article
- Export citation
A set mapping with no infinite free subsets
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1400-1402
- Print publication:
- December 1991
-
- Article
- Export citation
On the weak Kleene scheme in Kripke's theory of truth
-
- Journal:
- The Journal of Symbolic Logic / Volume 56 / Issue 4 / December 1991
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1452-1468
- Print publication:
- December 1991
-
- Article
- Export citation