The following pages link to (Q3893900):
Displayed 5 items.
- Limits for paraconsistent calculi (Q701299) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- Two decision procedures for da Costa's \(C_n\) Logics based on restricted Nmatrix semantics (Q2144181) (← links)
- Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)