Pages that link to "Item:Q890788"
From MaRDI portal
The following pages link to Combining intuitionistic connectives and Routley negation (Q890788):
Displaying 8 items.
- A hybrid calculus for logic \(N^{*}\): residual finiteness and decidability (Q695777) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Neighbourhood semantics for FDE-based modal logics (Q2062194) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Some modal operators over intuitionistic logic (Q2356087) (← links)
- Composition of an intuitionistic negation and negative modalities as a necessity operator (Q2434603) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Double Negation Operator in Logic N ∗ (Q5741336) (← links)
