Volume 61; Issue 1

Main
Journal of Symbolic Logic
Volume 61; Issue 1

Journal of Symbolic Logic

Volume 61; Issue 1

1

Omitting Types in Incomplete Theories

Enrique Casanovas and Rafel Farré

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 240 KB

english, 1996

2

Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic

Alberto Zanardo

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 747 KB

english, 1996

3

Possible PCF Algebras

Thomas Jech and Saharon Shelah

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 154 KB

english, 1996

4

Ad and Patterns of Singular Cardinals Below Θ

Arthur W. Apter

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 278 KB

english, 1996

5

The Expressive Power of Fixed-Point Logic with Counting

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 585 KB

english, 1996

6

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 101 KB

english, 1996

7

Anderson Alan Ross, Belnap Nuel D. Jr., and Dunn J. Michael. Entailment. The logic of relevance and necessity. Volume II. Princeton University Press, Princeton and Oxford 1992, xxvii + 749 pp.

Maksimova, Larisa

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 499 KB

english, 1996

8

Monotone inductive definitions in explicit mathematics

Rathjen, Michael

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 1.17 MB

english, 1996

9

The Proofs of α → α in P - W

Sachio Hirokawa

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 994 KB

english, 1996

10

Smullyan Raymond M.. First-order logic. Corrected republication of XL 237. Dover Publications, New York 1995, xii + 158 pp.

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 255 KB

english, 1996

11

Variations of the Martin-Solovay tree

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 826 KB

english, 1996

12

Shin Sun-Joo. The logical status of diagrams. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), xi + 197 pp.

Hammer, Eric M.

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 341 KB

english, 1996

13

Adding one random real

Bartoszyński, Tomek, Rosłanowski, Andrzej, Shelah, Saharon

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 633 KB

english, 1996

14

An Addition to Rosser's Theorem

Henryk Kotlarski

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 583 KB

english, 1996

15

Kanamori Akihiro. The higher infinite. Large cardinals in set theory from their beginnings. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1994, xxiv + 536 pp.

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 336 KB

english, 1996

16

Existentially closed models via constructible sets: There are 2 ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups

Khelif, Anatole

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 648 KB

english, 1996

17

Girard Jean-Yves. Linear logic. Theoretical computer science, vol. 50 (1987), pp. 1–101.Troelstra A. S.. Lectures on linear logic. CSLI lecture notes, no. 29. Center for the Study of Language and Information, Stanford 1992, also distributed by Cambridge University Press, New York, ix + 200 pp.

Jervell, Herman Ruge

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 413 KB

english, 1996

18

Mathias absoluteness and the Ramsey property

Halbeisen, Lorenz, Judah, Haim

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 1.02 MB

english, 1996

19

Countable unions of simple sets in the core model

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 1.18 MB

english, 1996

20

Ramsay Allan. Formal methods in artificial intelligence. Cambridge tracts in theoretical computer science, no. 6. Cambridge University Press, Cambridge etc. 1988, ix + 279 pp.

Pelletier, Francis Jeffry

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 607 KB

english, 1996

21

Gamut L. T. F. (pseudonym). Logica, taal en betekenis. Volume I. Inleiding in de logica. Dutch original of volume I of the preceding. Het Spectrum, De Meern 1982, 351 pp.Gamut L. T. F. (pseudonym). Logica, taal en betekenis. Volume II. Intensionele logica en logische grammatica. Dutch original of volume II of the preceding. Het Spectrum, De Meern 1982, 422 pp.Paris J. B. The uncertain reasoner's companion. A mathematical perspective. Cambridge tracts in theoretical computer science, no. 39. Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1995 (© 1994), x + 212 pp.

Kyburg, Henry E.

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 342 KB

english, 1996

22

JSL volume 61 issue 1 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 6.69 MB

english, 1996

23

Self-commuting quantifiers

Westerståhl, Dag

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 1.95 MB

english, 1996

24

JSL volume 61 issue 1 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 6.54 MB

english, 1996

25

Bimodal logics for extensions of arithmetical theories

Beklemishev, Lev D.

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 1.81 MB

english, 1996

26

On atomic or saturated sets

Newelski, Ludomir

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 1.11 MB

english, 1996

27

Asymptotic conditional probabilities: The non-unary case

Grove, Adam J., Halpern, Joseph Y., Koller, Daphne

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 1.94 MB

english, 1996

28

Gamut L. T. F. (pseudonym). Logic, language, and meaning. Volume I. Introduction to logic. English translation of Logica, taal en betekenis, Volume I, Inleiding in de logica. The University of Chicago Press, Chicago and London 1991, xiv + 282 pp.Gamut L. T. F. (pseudonym). Logic, language, and meaning. Volume II. Intensional logic and logical grammar. English translation of Logica, taal en betekenis, Volume II, Intensionele logica en logische grammatica. The University of Chicago Press, Chicago and London 1991, xvi + 349 pp.

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 174 KB

english, 1996

29

Two Remarks on the Lifschitz Realizability Topos

Jaap van Oosten

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 257 KB

english, 1996

30

Lebesque Measure Zero Subsets of the Real Line and an Infinite Game

Marion Scheepers

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 147 KB

english, 1996

31

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 131 KB

english, 1996

32

How to Characterize Provably Total Functions by Local Predicativity

Andreas Weiermann

Journal:

Journal of Symbolic Logic

Year:

1996

Language:

english

File:

PDF, 416 KB

english, 1996