The following pages link to Dugundji's theorem revisited (Q2254571):
Displaying 13 items.
- Theory matrices (for modal logics) using alphabetical monotonicity (Q687154) (← links)
- 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)
- Modal logic with non-deterministic semantics: Part I—Propositional case (Q5082324) (← links)
- Douglas factorization theorem revisited (Q5212418) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)