Subformula property in many-valued modal logics (Unknown)
- New search for: Takano, M.
- New search for: Takano, M.
In:
JOURNAL OF SYMBOLIC LOGIC
;
59
, 4
;
1263
;
1994
-
ISSN:
- Article (Journal) / Print
-
Title:Subformula property in many-valued modal logics
-
Contributors:Takano, M. ( author )
-
Published in:JOURNAL OF SYMBOLIC LOGIC ; 59, 4 ; 1263
-
Publisher:
- New search for: ASSOCIATION FOR SYMBOLIC LOGIC, INC.
-
Publication date:1994-01-01
-
Size:1263 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:Unknown
- New search for: 164 / 510
- Further information on Dewey Decimal Classification
-
Classification:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 59, Issue 4
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.
- 1121
-
Boolean algebras, Stone spaces, and the iterated Turing jumpJockusch Jr, Carl G. et al. | 1994
- 1139
-
On first-order theories with provability operatorArte͏̈mov, Sergei et al. | 1994
- 1154
-
A modified sentence unprovable in PAGordeev, L. et al. | 1994
- 1158
-
The consistency strength of an infinitary Ramsey propertyKafkoulis, George et al. | 1994
- 1196
-
Possible behaviours for the Mitchell ordering IICummings, James et al. | 1994
- 1210
-
Strictly primitive recursive realizability, IDamnjanovic, Zlatan et al. | 1994
- 1228
-
The critical number of a variable in a functionTakeuti, Gaisi et al. | 1994
- 1245
-
A partial model of NF with EPrati, N. et al. | 1994
- 1254
-
Hereditary undecidability of some theories of finite structuresWillard, Ross et al. | 1994
- 1263
-
Subformula property in many-valued modal logicsTakano, Mitio et al. | 1994
- 1274
-
Grzegorcyk's hierarchy and IepS1Takeuti, Gaisi et al. | 1994
- 1274
-
Grzegorcyk's hierarchy and Iep~1Takeuti, G. et al. | 1994
- 1285
-
On the number of models of uncountable theoriesChowdhury, Ambar et al. | 1994
- 1301
-
Effective versions of Ramsey's Theorem: Avoiding the cone above 0'Lakins Hummel, Tamara et al. | 1994
- 1326
-
Initial segments of the lattice of ideals of r.e. degreesWeber, Frank P. et al. | 1994
- 1351
-
Scott heights of abelian groupsNadel, Mark E. et al. | 1994
- 1360
-
Embedding lattices into the wtt-degrees below 0'Downey, Rod et al. | 1994
- 1383
-
Mixed systemsAsh, C.J. et al. | 1994
- 1400
-
Definability of types, and pairs of O-minimal structuresPillay, Anand et al. | 1994
- 1410
-
On countable fractions from an elementary classAsh, C.J. et al. | 1994
- 1414
-
On the incompleteness theoremsKotlarski, Henry K. et al. | 1994
- 1420
-
Characterising subsets of w1 constructible from a realWelch, P.D. et al. | 1994
- 1420
-
Characterising subsets of omega~1 constructible from a realWelch, P. D. et al. | 1994
- 1433
-
Reviews| 1994
- 1443
-
1993 Annual Meeting of the Australasian Association for Logic, Adelaide| 1994
- 1450
-
List of Officers and Members of the Association for Symbolic Logic| 1994
- 1493
-
Notices| 1994