The following pages link to Ineke van der Berg (Q5052005):
Displayed 4 items.
- A DEDEKIND-STYLE AXIOMATIZATION AND THE CORRESPONDING UNIVERSAL PROPERTY OF AN ORDINAL NUMBER SYSTEM (Q5052006) (← links)
- Labelled calculi for lattice-based modal logics (Q6132565) (← links)
- Labelled calculi for the logics of rough concepts (Q6132579) (← links)
- A Dedekind-style axiomatization and the corresponding universal property of an ordinal number system (Q6343513) (← links)