Pages that link to "Item:Q2144181"
From MaRDI portal
The following pages link to Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181):
Displaying 4 items.
- LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT (Q5099785) (← links)
- From Inconsistency to Incompatibility (Q6107289) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- Tableau systems for some Ivlev-like (quantified) modal logics (Q6623948) (← links)
