The following pages link to On Jaśkowski's discussive logics (Q1344871):
Displaying 6 items.
- Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339) (← links)
- Some Rough Consequence Logics and their Interrelations (Q3600297) (← links)
- (Q4140959) (← links)
- Variations on Jaśkowski’s Discursive Logic (Q4611687) (← links)
- A modal extension of Jaśkowski’s discussive logic $\textbf{D}_\textbf{2}$ (Q5014048) (← links)
- (Q5692434) (← links)