13629 results in The Journal of Symbolic Logic
Theory contraction and base contraction unified
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 602-625
- Print publication:
- June 1993
-
- Article
- Export citation
Pointwise compact and stable sets of measurable functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 435-455
- Print publication:
- June 1993
-
- Article
- Export citation
Decidability and undecidability of theories with a predicate for the primes
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 672-687
- Print publication:
- June 1993
-
- Article
- Export citation
Lincoln A. Wallen. Automated proof search in non-classical logics. Efficient matrix proof methods for modal and intuitionistic logics. Artificial intelligence series. The MIT Press, Cambridge, Mass., and London, 1990, xv + 239 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 719-720
- Print publication:
- June 1993
-
- Article
- Export citation
Gisela Ahlbrandt and Martin Ziegler. Quasi finitely axiomatizable totally categorical theories. Annals of pure and applied logic, vol. 30 (1986), pp. 63–82. - Ehud Hrushovski. Totally categorical structures. Transactions of the American Mathematical Society, vol. 313 (1989), pp. 131–159.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 713-714
- Print publication:
- June 1993
-
- Article
- Export citation
Melvin Fitting. First-order logic and automated theorem proving. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, etc., 1990, xv + 242 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 719
- Print publication:
- June 1993
-
- Article
- Export citation
The deduction rule and linear and near-linear proof simulations
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 688-709
- Print publication:
- June 1993
-
- Article
- Export citation
Judea Pearl. Probabilistic reasoning in intelligent systems: networks of plausible inference. Series in representation and reasoning. Morgan Kaufmann, San Mateo1988, xix + 552 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, p. 721
- Print publication:
- June 1993
-
- Article
- Export citation
The development of arithmetic in Frege's Grundgesetze der arithmetik
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 579-601
- Print publication:
- June 1993
-
- Article
- Export citation
Notices
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 2 / June 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 767-768
- Print publication:
- June 1993
-
- Article
- Export citation
Annual Meeting of the Association for Symbolic Logic, Durham, 1992
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 370-382
- Print publication:
- March 1993
-
- Article
- Export citation
Natural language, sortal reducibility and generalized quantifiers
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 314-325
- Print publication:
- March 1993
-
- Article
- Export citation
μ-definable sets of integers
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-313
- Print publication:
- March 1993
-
- Article
- Export citation
Michael Makkai and Robert Paré. Accessible categories: the foundations of categorical model theory. Contemporary mathematics, vol. 104. American Mathematical Society, Providence1989, viii + 176 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 355-357
- Print publication:
- March 1993
-
- Article
- Export citation
Quantifying over propositions in relevance logic: nonaxiomatisability of primary interpretations of ∀p and ∃p*
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 334-349
- Print publication:
- March 1993
-
- Article
- Export citation
Peter J. Freyd and Andre Scedrov. Categories, allegories. North-Holland mathematical library, vol. 39. North-Holland, Amsterdam etc. 1990, xviii + 296 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 352-354
- Print publication:
- March 1993
-
- Article
- Export citation
Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory. Volume 1. International series of monographs on computer science, no. 6. Clarendon Press, Oxford University Press, Oxford and New York1989, xii + 347 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 361-362
- Print publication:
- March 1993
-
- Article
- Export citation
Gödel's theorem in focus, edited by S. G. Shanker, Philosophers in focus series, Croom Helm, London, New York, and Sydney, 1988, and Routledge, London and New York 1989, ix + 261 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
- Print publication:
- March 1993
-
- Article
- Export citation
-sets of reals
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 72-80
- Print publication:
- March 1993
-
- Article
- Export citation
Quasiunitriangular groups
-
- Journal:
- The Journal of Symbolic Logic / Volume 58 / Issue 1 / March 1993
- Published online by Cambridge University Press:
- 12 March 2014, pp. 205-218
- Print publication:
- March 1993
-
- Article
- Export citation