Pages that link to "Item:Q1267081"
From MaRDI portal
The following pages link to Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081):
Displayed 7 items.
- Synchronized linear-time temporal logic (Q647400) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Bunched logics displayed (Q1935559) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION (Q3395329) (← links)
- Displaying the modal logic of consistency (Q4948528) (← links)