Pages that link to "Item:Q809995"
From MaRDI portal
The following pages link to Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\) (Q809995):
Displaying 9 items.
- Limits for paraconsistent calculi (Q701299) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- A basic dual intuitionistic logic and some of its extensions included in \(\mathrm{G}3_{\mathrm{DH}}\) (Q2035847) (← links)
- Basic quasi-Boolean expansions of relevance logics (Q2236601) (← links)
- On Displaying Negative Modalities (Q4683222) (← links)
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations (Q4999459) (← links)
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- Empirical Negation, Co-negation and Contraposition Rule I: Semantical Investigations (Q5147749) (← links)
- Negative Modalities in the Light of Paraconsistency (Q5350350) (← links)