Pages that link to "Item:Q815018"

The following pages link to Some useful 16-valued logics: How a computer network should think (Q815018):

Displayed 7 items.

• 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)
• 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)
• Processing Information from a Set of Sources (Q3600567) ‎ (← links)