1. |
Axiomatization of the First‐Order Intermediate Logics of Bounded Kripkean Heights II |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 17-26
Shin'Ichi Ykotota,
Preview
|
PDF (451KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370202
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
2. |
Les Tournois (−1)‐Chaîne |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 27-37
Cyprien Gnanvo,
Preview
|
PDF (679KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370203
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
3. |
A Note on Pavelka's Fuzzy Logic |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 39-40
Esko Turunen,
Preview
|
PDF (107KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370204
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
4. |
A Proof of the Characterization Theorem for Consequence Relations |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 41-43
Zvonimir Šikić,
Preview
|
PDF (139KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370205
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
5. |
Second Order Definability Via enumerations |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 45-54
Ivan N. Soskov,
Preview
|
PDF (563KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370206
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
6. |
On Pairs and Tuples |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 55-56
Arnold Oberschelp,
Preview
|
PDF (124KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370207
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
7. |
Generalized Construction Problems |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 57-62
Peter Schreiber,
Preview
|
PDF (404KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370208
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
8. |
A Note on the Proof Method for Constructive Falsity |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page 63-64
Kazuyuki Tanka,
Preview
|
PDF (82KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370209
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|
9. |
Masthead |
|
Mathematical Logic Quarterly,
Volume 37,
Issue 2‐4,
1991,
Page -
Preview
|
PDF (30KB)
|
|
ISSN:0942-5616
DOI:10.1002/malq.19910370201
出版商:WILEY‐VCH Verlag Berlin GmbH
年代:1991
数据来源: WILEY
|