Pages that link to "Item:Q815018"
From MaRDI portal
The following pages link to Some useful 16-valued logics: How a computer network should think (Q815018):
Displayed 15 items.
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Inconsistency-tolerant description logic. II: A tableau algorithm for \(\mathcal{CALC}^{\mathsf C}\) (Q946573) (← links)
- Paraconsistent semantics for Pavelka style fuzzy sentential logic (Q983066) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Proof systems combining classical and paraconsistent negations (Q1015485) (← links)
- Editorial introduction. Truth values. I (Q1015488) (← links)
- On axiomatizing Shramko-Wansing's logic (Q1015493) (← links)
- A few more useful 8-valued logics for reasoning with tetralattice \(EIGHT_{4}\) (Q1037603) (← links)
- The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)