9 月 27 日 (月) 　第 VII 会場

【一般講演】 9:30 - 12:00
 

1* (講演時間 15 分)
古典自然演繹体系のチャーチ・ロッサー性について
安東　祐希 (法政大第一教養)
 

2* (講演時間 15 分)
いくつかの適切含意論理の完全性
鹿島　亮　 (東工大情報理工)
 

3* (講演時間 15 分)
Propositional lax logicについて
佐々木　克巳 (南山大経営)
 

4* (講演時間 20 分)
Horticulture of epistemic models of shallow depths
金子　守　 (筑波大社会工学) 鈴木　信行 (静岡大理)
 

5* (講演時間 15 分)
Ultraproducts of Kripke sheaves and super-intuitionistic predicate logics
鈴木　信行 (静岡大理)
 

6* (講演時間 15 分)
Pseudoconsistent logic and tense logic
近藤　通朗 (島根大総合理工)
 

7* (講演時間 20 分)
最小normal論理Kより小さい論理の標準形展開
大芝　猛　 (椙山女学園大)
 

8* (講演時間 20 分)
Generic automorphismの公理化可能性について
桔梗　宏孝 (東海大理)
 

【一般講演】 14:15 - 15:45
 

9 (講演時間 20 分)
All reals are definable
L. Soukup (北見工大・Hungarian Acad.)
 

10* (講演時間 10 分)
The square principle and coherent sequences
宮元　忠敏 (南山大経営)
 

11* (講演時間 20 分)
Nonprecipitous $(\lambda , \lambda )$-distributive ideals on $P_{\kappa} \lambda$
阿部　吉弘 (神奈川大工)
 

12 (講演時間 20 分)
連続体におけるtransfer propertyについて
渕野　昌　 (北見工大)
 

【特別講演】 16:00 - 17:00
 

(16:00 - 17:00)*
極小構造と強極小構造
池田　宏一郎 (東海大理)

1999-08-08