The journal of symbolic logic : JSL
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
Table of contents
- 353
-
Gentzenizations of relevant logics without distribution. I.Brady, Ross T. et al. | 1996
- 379
-
Gentzenizations of relevant logics without distribution. II.Brady, Ross T. et al. | 1996
- 402
-
Gentzenizations of relevant logics with distributionBrady, Ross T. et al. | 1996
- 421
-
Canonical formulas for K4. Part II: Cofinal subframe logicsZakharyaschev, Michael et al. | 1996
- 450
-
The Sacks density theorem and S2-boundingGroszek, Marcia J. et al. | 1996
- 450
-
The Sacks density theorem and ~2-boundingGroszek, M. J. / Mytilinaios, M. E. / Slaman, T. A. et al. | 1996
- 468
-
On power set in explicit mathematicsGlass, Thomas et al. | 1996
- 490
-
Set theoretic naturalismMaddy, Penelope et al. | 1996
- 515
-
Definability and decidability issues in extensions of the integers with the divisibility predicateCegielski, Patrick et al. | 1996
- 541
-
The undecidability of second order linear logic without exponentialsLafont, Yves et al. | 1996
- 549
-
On finite rigid structuresGurevich, Yuri et al. | 1996
- 563
-
StretchingsFinkel, O. et al. | 1996
- 586
-
On external Scott algebras in nonstandard models of Peano arithmeticKanovei, Vladimir et al. | 1996
- 608
-
Fluted formulas and the limits of decidabilityPurdy, William C. et al. | 1996
- 621
-
Fine structure for tame inner modelsSchimmerling, E. et al. | 1996
- 640
-
Automorphism-invariant measures on (Hebrew characters)-categorical structures without the independence propertyEnsley, Douglas E. et al. | 1996
- 640
-
Automorphism invariant measures on N~0-categorical structures without the independence propertyEnsley, D. E. et al. | 1996
- 653
-
Did Tarski commit "Tarski's fallacy"?Sher, G.Y. et al. | 1996
- 687
-
Reviews| 1996