Pages that link to "Item:Q5966494"
From MaRDI portal
The following pages link to Solution to a problem of Ono and Komori (Q5966494):
Displaying 7 items.
- On the solution of a problem of Okuyama (Q1088185) (← links)
- Correction to: ``Solution to a problem of Ono and Komori'' (Q1198410) (← links)
- Cut-elimination for a logic with definitions and induction (Q1575931) (← links)
- Gentzenization and decidability of some contraction-less relevant logics (Q2277247) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)
- (Q3701370) (← links)
- Solution to a problem of Ono and Komori (Q5903941) (← links)