Gentzenizations of relevant logics without distribution. II. (English)
- New search for: Brady, Ross T.
- New search for: Brady, Ross T.
In:
The journal of symbolic logic
;
61
, 2
; 379-401
;
1996
-
ISSN:
- Article (Journal) / Print
-
Title:Gentzenizations of relevant logics without distribution. II.
-
Contributors:Brady, Ross T. ( author )
-
Published in:The journal of symbolic logic ; 61, 2 ; 379-401
-
Publisher:
- New search for: Cambridge Univ. Press
-
Place of publication:Cambridge
-
Publication date:1996
-
ISSN:
-
ZDBID:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 770/3110
-
Keywords:
-
Classification:
-
Source:
Table of contents – Volume 61, Issue 2
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.
- 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