The following pages link to Dugundji's theorem revisited (Q2254571):
Displayed 4 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)
- Finite non-deterministic semantics for some modal systems (Q4586135) (← links)
- FRACTIONAL-VALUED MODAL LOGIC (Q6148465) (← links)