Katsumi Sasaki

	2003
4		Kentaro Kikuchi, Katsumi Sasaki: A Cut-Free Gentzen Formulation of Basic Propositional Calculus. Journal of Logic, Language and Information 12(2): 213-225 (2003)
	2002
3		Katsumi Sasaki: A Cut-Free Sequent System for the Smallest Interpretability Logic. Studia Logica 70(3): 353-372 (2002)
	1999
2		Katsumi Sasaki: Formalizations for the Consequence Relation of Visser's Propositional Logic. Reports on Mathematical Logic 33: 65-78 (1999)
	1993
1		Katsumi Sasaki: The simple substitution property of the intermediate propositional logics on finite slices. Studia Logica 52(1): 41-62 (1993)

Coauthor Index

1

Kentaro Kikuchi

[4]