Pages that link to "Item:Q3032233"
From MaRDI portal
The following pages link to An extension of ono's completeness result (Q3032233):
Displaying 6 items.
- Some remarks on Doitchinov completeness (Q675103) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- Detecting completeness from Ext-vanishing (Q3508051) (← links)
- (Q3830980) (← links)
- (Q5878359) (← links)