Katsumasa Ishii

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

3 Katsumasa Ishii: A note on the first incompleteness theorem. Math. Log. Q. 49(2): 214-216 (2003)

2 Katsumasa Ishii: New sequent calculi for Visser's Formal Propositional Logic. Math. Log. Q. 49(5): 525-535 (2003)

2001

1 Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi: Sequent Calculi for Visser's Propositional Logics. Notre Dame Journal of Formal Logic 42(1): 1-22 (2001)

	2003
3		Katsumasa Ishii: A note on the first incompleteness theorem. Math. Log. Q. 49(2): 214-216 (2003)
2		Katsumasa Ishii: New sequent calculi for Visser's Formal Propositional Logic. Math. Log. Q. 49(5): 525-535 (2003)
	2001
1		Katsumasa Ishii, Ryo Kashima, Kentaro Kikuchi: Sequent Calculi for Visser's Propositional Logics. Notre Dame Journal of Formal Logic 42(1): 1-22 (2001)

Coauthor Index

1 Ryo Kashima [1]

2 Kentaro Kikuchi [1]