The following pages link to Dugundji's theorem revisited (Q2254571):
Displaying 11 items.
- Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
- Tree-like proof systems for finitely-many valued non-deterministic consequence relations (Q2228348) (← links)
- Theorems of Kakutani and Dyson revisited (Q2431359) (← links)
- (Q2752144) (← links)
- The Dipper-Du conjecture revisited (Q3382045) (← links)
- Finite non-deterministic semantics for some modal systems (Q4586135) (← links)
- (Q4811654) (← links)
- (Q4866225) (← links)
- Douglas factorization theorem revisited (Q5212418) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
