Proceedings of the Sixth Asian Logic Conference
Latest Publications

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By WORLD SCIENTIFIC / S'pore UNIV PRESS (PTE) LTD

9789810234324, 9789812812940

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FRONT MATTER

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_fmatter ◽

1998 ◽

Author(s):

C. T. Chong ◽

Q. Feng ◽

D. Ding ◽

Q. Huang ◽

M. Yasugi

Download Full-text

ADDING EVENTUALLY DIFFERENT REALS

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0019 ◽

1998 ◽

Author(s):

Yi ZHANG

Download Full-text

Linear set theory with strict comprehension

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0013 ◽

1998 ◽

Author(s):

Masaru Shirahata

Keyword(s):

Set Theory ◽

Linear Set

Download Full-text

Definable Sets of Real Numbers, Infinite Games and Core Model Theory

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0007 ◽

1998 ◽

Author(s):

Kai Hauser

Keyword(s):

Model Theory ◽

Core Model ◽

Infinite Games ◽

Real Numbers ◽

Definable Sets

Download Full-text

Lattice embedding into d-r.e. degrees preserving 0 and 1

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0005 ◽

1998 ◽

Cited By ~ 2

Author(s):

Decheng DING ◽

Lei QIAN

Download Full-text

Recursion Theory on Weak Fragments of Peano Arithmetic: A Study of Definable Cuts

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0004 ◽

1998 ◽

Cited By ~ 4

Author(s):

C. T. Chong ◽

Yue Yang

Keyword(s):

Recursion Theory ◽

Peano Arithmetic ◽

Fragments Of Peano Arithmetic

Download Full-text

Asian Logic Conference: ALC

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0020 ◽

1998 ◽

Author(s):

Mariko Yasugi

Download Full-text

Computational complexity of infinite-valued Łukasiewicz propositional logic

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0016 ◽

1998 ◽

Author(s):

H. Wagner

Keyword(s):

Computational Complexity ◽

Propositional Logic

Download Full-text

A Note on Weak Segments of PFA

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0011 ◽

1998 ◽

Cited By ~ 10

Author(s):

Tadatoshi MIYAMOTO

Download Full-text

ON STRUCTURAL INFERENCE RULES FOR GENTZEN-STYLE NATURAL DEDUCTION, PART I

Proceedings of the Sixth Asian Logic Conference ◽

10.1142/9789812812940_0012 ◽

1998 ◽

Cited By ~ 1

Author(s):

Koji Nakatogawa ◽

Takeshi Ueno

Keyword(s):

Natural Deduction ◽

Inference Rules ◽

Structural Inference

Download Full-text