Pages that link to "Item:Q5720188"
From MaRDI portal
The following pages link to On some properties of intermediate logics (Q5720188):
Displayed 3 items.
- A short proof of Glivenko theorems for intermediate predicate logics (Q377463) (← links)
- Glivenko theorems and negative translations in substructural predicate logics (Q1938390) (← links)
- A negative solution to Ono's problem P52: existence and disjunction properties in intermediate predicate logics (Q6201547) (← links)