Volume 62; Issue 2

Main
Journal of Symbolic Logic
Volume 62; Issue 2

Journal of Symbolic Logic

Volume 62; Issue 2

1

Advances in Linear Logicby Jean-Yves Girard; Yves Lafont; Laurent Regnier

Review by: C. Dimitracopoulos and Dale Miller

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 131 KB

english, 1997

2

Special Selection in Logic in Computer Science

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 73 KB

english, 1997

3

Some Applications of Coarse Inner Model Theory

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 588 KB

english, 1997

4

Shadows of the Mind. A Search for the Missing Science of Consciousnessby Roger Penrose

Review by: Piergiorgio Odifreddi

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 130 KB

english, 1997

5

Hilbert's Tenth Problemby Yuri V. Matiyasevich; Martin Davis

Review by: C. Dimitracopoulos

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 129 KB

english, 1997

6

Polynomial time operations in explicit mathematics

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 391 KB

english, 1997

7

A characterization of Martin's axiom in terms of absoluteness

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 166 KB

english, 1997

8

O Sentido da Nova Lógica.by W. O. Quine

Review by: N. C. A. da Costa

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 120 KB

english, 1997

9

Louveau's Theorem for the Descriptive Set Theory of Internal Sets

Kenneth Schilling and Boško Živaljević

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 308 KB

english, 1997

10

Completeness of global intuitionistic set theory

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 953 KB

english, 1997

11

On the complexity of propositional quantification in intuitionistic logic

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 979 KB

english, 1997

12

Inconsistent Mathematics.; Category Theory.; Closed Set Sheaves and Their Categories.; Foundations: Provability, Truth and Sets.;

da Costa, Newton C. A., Bueno, Otavio, Mortensen, Chris, Lavers, Peter, James, William, Cole, Joshua

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 138 KB

english, 1997

13

Definability in Functional Analysis

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 748 KB

english, 1997

14

Matiyasevich Yu. V.. Desyataya problema Gil'berta. Russian original of the preceding. Matematicheskaya logika i osnovaniya matematiki. VO “Nauka,” Moscow 1993, 223 pp.Papadimitriou Christos H.. Computational complexity. Addison-Wesley Publishing Company, Reading, Mass., etc., 1994, xv + 523 pp.

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 339 KB

english, 1997

15

Infinitary logics and very sparse random graphs

Lynch, James F.

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 900 KB

english, 1997

16

Remarks on Galois cohomology and definability

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 506 KB

english, 1997

17

Generalized nonsplitting in the recursively enumerable degrees

Leonhardi, Steven D.

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 2.59 MB

english, 1997

18

y = 2x VS. y = 3x

Stolboushkin, Alexei, Niwiński, Damian

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 901 KB

english, 1997

19

Set Theory, Annual Boise Extravaganza in Set Theory (BEST) Conference, March 13-15, 1992, April 10-11, 1993, March 25-27, 1994, Boise State University, Boise, Idahoby Tomek Bartoszynski; Marion Scheepers;Interval Covers of a Linearly Ordered Setby R. Aharoni; A. Hajnal; E. C. Milner;Souslin Absoluteness, Uniformization and Regularity Properties of Projective Setsby Eyal Amir; Haim Judah;Not Every γ-Set is Strongly Meagerby Tomek Bartoszynski; Ireneusz Reclaw;Reductions Between Cardinal Characteristics of the Continuumby Andreas Blass;Filter Games and Combinatorial Properties of Strategiesby Claude Laflamme;Analytic non-Borel Sets Modulo Null Setsby R. Daniel Mauldin;Laver's Forcing and Outer Measureby Janusz Pawlikowski;Meager Sets and Infi

Review by: Martin Goldstern

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 516 KB

english, 1997

20

Interpolation theorems, lower bounds for proof systems, and independence results for bounded arithmetic

Krajíček, Jan

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.66 MB

english, 1997

21

JSL volume 62 issue 2 Cover and Back matter

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 6.93 MB

english, 1997

22

Martin Norman M. and Pollard Stephen. Closure spaces and logic. Mathematics and its applications, vol. 369. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1996, xvii + 230 pp.

Bloom, Stephen L.

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 344 KB

english, 1997

23

von Plato Jan. The axioms of constructive geometry. Annals of pure and applied logic, vol. 76 (1995), pp. 169–200.

Rautenberg, Wolfgang

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 269 KB

english, 1997

24

Relativized logspace and generalized quantifiers over finite ordered structures

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 2.12 MB

english, 1997

25

JSL volume 62 issue 2 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 6.81 MB

english, 1997

26

On the unification problem for Cartesian closed categories

Narendran, Paliath, Pfenning, Frank, Statman, Richard

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 858 KB

english, 1997

27

Canonical seeds and Prikry trees

Hamkins, Joel David

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.37 MB

english, 1997

28

Mortensen Chris. Inconsistent mathematics. Mathematics and its applications, vol. 312. Kluwer Academic Publishers, Dordrecht, Boston, and London, 1995, ix + 155 pp.

da Costa, Newton C. A., Bueno, Otávio

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 430 KB

english, 1997

29

Product-free Lambek calculus and context-free grammars

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 727 KB

english, 1997

30

The dense linear ordering principle

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.25 MB

english, 1997

31

The order types of termination orderings on monadic terms, strings and multisets

Martin, Ursula, Scott, Elizabeth

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 290 KB

english, 1997

32

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1997

File:

PDF, 111 KB

1997

33

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 111 KB

english, 1997

34

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 108 KB

english, 1997

35

A Course on Bimodal Provability Logicby Albert Visser

Review by: Franco Montagna

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 180 KB

english, 1997