Pages that link to "Item:Q2333670"
From MaRDI portal
The following pages link to Proper multi-type display calculi for rough algebras (Q2333670):
Displaying 6 items.
- Semi De Morgan logic properly displayed (Q2021557) (← links)
- Toward a Dempster-Shafer theory of concepts (Q2206445) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Syntactic Completeness of Proper Display Calculi (Q5056369) (← links)
- Linear Logic Properly Displayed (Q5886520) (← links)
- Rough concepts (Q6081075) (← links)
