13629 results in The Journal of Symbolic Logic
Théories complètes de paires de corps valués henseliens
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 323-339
- Print publication:
- March 1990
-
- Article
- Export citation
Quantales and (noncommutative) linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 41-64
- Print publication:
- March 1990
-
- Article
- Export citation
Robert K. Meyer. A farewell to entailment. Foundations of logic and linguistics, Problems and their solutions, edited by Georg Dorn and P. Weingartner, Plenum Press, New York and London1985, pp. 577– 636.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-353
- Print publication:
- March 1990
-
- Article
- Export citation
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 387-435
- Print publication:
- March 1990
-
- Article
- Export citation
Richard A. Shore. Determining automorphisms of the recursively enumerable sets. Proceedings of the American Mathematical Society, vol. 65 (1977), pp. 318– 325. - Richard A. Shore. The homogeneity conjecture. Proceedings of the National Academy of Sciences of the United States of America, vol. 76 (1979), pp. 4218– 4219. - Richard A. Shore. On homogeneity and definability in the first-order theory of the Turing degrees. The journal of symbolic logic, vol. 47 (1982), pp. 8– 16. - Richard A. Shore. The arithmetic and Turing degrees are not elementarily equivalent. Archiv für mathematische Logik und Grundlagenforschung, vol. 24 (1984), pp. 137– 139. - Richard A. Shore. The structure of the degrees of unsolvabitity. Recursion theory, edited by Anil Nerode and Richard A. Shore, Proceedings of symposia in pure mathematics, vol. 42, American Mathematical Society, Providence1985, pp. 33– 51. - Theodore A. Slaman and W. Hugh Woodin. Definability in the Turing degrees. Illinois journal of mathematics, vol. 30 (1986), pp. 320– 334.
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 358-360
- Print publication:
- March 1990
-
- Article
- Export citation
A theory of formal truth arithmetically equivalent to ID1
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 244-259
- Print publication:
- March 1990
-
- Article
- Export citation
On analytic filters and prefilters
-
- Journal:
- The Journal of Symbolic Logic / Volume 55 / Issue 1 / March 1990
- Published online by Cambridge University Press:
- 12 March 2014, pp. 315-322
- Print publication:
- March 1990
-
- Article
- Export citation
Jan Woleński. Filozoficzna szkoia Iwowsko-warszawska (The Lwów-Warsaw school of philosophy). Państwowe Wydawnictwo Naukowe, Warsaw 1985, 348 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1487-1489
- Print publication:
- December 1989
-
- Article
- Export citation
Johan van Benthem. A manual of intensional logic. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1985, also distributed by the University of Chicago Press, 74 pp. - Johan van Benthem. A manual of intensional logic. Revised and expanded second edition. CSLI lecture notes, no. 1. Center for the Study of Language and Information, Stanford 1988, also distributed by the University of Chicago Press, ix + 135 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, p. 1489
- Print publication:
- December 1989
-
- Article
- Export citation
Descriptive set theory over hyperfinite sets
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1167-1180
- Print publication:
- December 1989
-
- Article
- Export citation
The classification of excellent classes
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1359-1381
- Print publication:
- December 1989
-
- Article
- Export citation
Some restrictions on simple fixed points of the integers
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1324-1345
- Print publication:
- December 1989
-
- Article
- Export citation
Hao Wang. Beyond analytic philosophy. Doing justice to what we know. Bradford books. The MIT Press, Cambridge, Mass., and London, 1986, xii + 273 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1484-1485
- Print publication:
- December 1989
-
- Article
- Export citation
The number of pairwise non-elementarily-embeddable models
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1431-1455
- Print publication:
- December 1989
-
- Article
- Export citation
Neil Tennant. Anti-realism and logic. Truth as eternal. Clarendon library of logic and philosophy. Clarendon Press, Oxford University Press, Oxford and New York 1987, xii + 325 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1485-1486
- Print publication:
- December 1989
-
- Article
- Export citation
Near-equational and equational systems of logic for partial functions. II1
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1181-1215
- Print publication:
- December 1989
-
- Article
- Export citation
Robert Bull and Krister Segerberg. Basic modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 1–88. - John P. Burgess. Basic tense logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 89–133. - Richmond H. Thomason. Combinations of tense and modality. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 135–165. - Johan van Benthem. Correspondence theory. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 167–247. - James W. Garson. Quantification in modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 249–307. - Nino B. Cocchiarella. Philosophical perspectives on quantification in tense and modal logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984, pp. 309–353.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1472-1477
- Print publication:
- December 1989
-
- Article
- Export citation
JSL volume 54 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1989
-
- Article
-
- You have access
- Export citation
David Harel. Dynamic logic. Handbook of philosophical logic, Volume II, Extensions of classical logic , edited by D. Gabbay and F. Guenthner, Synthese library, vol. 165, D. Reidel Publishing Company, Dordrecht, Boston, and Lancaster, 1984., pp. 497–604.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1480-1481
- Print publication:
- December 1989
-
- Article
- Export citation
Bruno Poizat. Groupes stables. Une tentative de conciliation entre la géométric algébrique et la logique mathématique. Nur al-Mantiq wal-Ma'rifah, Villeurbanne 1987, vi + 215 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 54 / Issue 4 / December 1989
- Published online by Cambridge University Press:
- 12 March 2014, pp. 1494-1496
- Print publication:
- December 1989
-
- Article
- Export citation