The following pages link to Katsumi Sasaki (Q1208114):
Displayed 16 items.
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- A cut-free sequent system for the smallest interpretability logic (Q1604800) (← links)
- The simple substitution property of Gödel's intermediate propositional logics \(S_ n\)'s (Q1814180) (← links)
- A cut-free Gentzen formulation of basic propositional calculus (Q1868483) (← links)
- FORMULAS IN MODAL LOGIC <b>S4</b> (Q3066780) (← links)
- (Q3474634) (← links)
- (Q3491524) (← links)
- (Q4326748) (← links)
- (Q4443211) (← links)
- (Q4487297) (← links)
- (Q4704071) (← links)
- (Q4822148) (← links)
- (Q5413333) (← links)
- A Sequent Systems without Improper Derivations (Q6162080) (← links)
- A Classification of Improper Inference Rules (Q6200440) (← links)
- An $\omega$-rule for the logic of provability and its models (Q6334635) (← links)