Pages that link to "Item:Q1267081"
From MaRDI portal
The following pages link to Displaying and deciding substructural logics. I: Logics with contraposition (Q1267081):
Displaying 13 items.
- Understanding negation implicationally in the relevant logic R (Q514515) (← links)
- 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)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- A Unified Display Proof Theory for Bunched Logic (Q3178253) (← links)
- CONSERVATIVITY OF HEYTING IMPLICATION OVER RELEVANT QUANTIFICATION (Q3395329) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Displaying the modal logic of consistency (Q4948528) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
