The following pages link to Yutaka Miyazaki (Q519846):
Displayed 13 items.
- Normal modal logics determined by aligned clusters (Q519847) (← links)
- Some properties of orthologics (Q813075) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Kripke incomplete logics containing KTB (Q995674) (← links)
- Kripke-style Semantics of Orthomodular Logics (Q2743648) (← links)
- All Splitting Logics in the Lattice NExt(KTB) (Q3600563) (← links)
- (Q4487296) (← links)
- (Q4636051) (← links)
- (Q4703142) (← links)
- Normal extensions of KTB of codimension 3 (Q5224580) (← links)
- (Q5411416) (← links)
- (Q5465447) (← links)
- (Q5483007) (← links)