Pages that link to "Item:Q815018"

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

Displaying 19 items.

• Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
• Gentzenization of trilattice logics (Q332076) (← links)
• Generalizing functional completeness in Belnap-Dunn logic (Q497416) (← links)
• Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
• Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
• Kripke-completeness and cut-elimination theorems for intuitionistic paradefinite logics with and without quasi-explosion (Q830398) (← 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)
• Modal multilattice logic (Q1682294) (← links)
• Rivals to Belnap-Dunn logic on interlaced trilattices (Q1685566) (← links)
• Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
• Interpolation in 16-valued trilattice logics (Q1744000) (← links)
• The power of Belnap: sequent systems for \(SIXTEEN_{3 }\) (Q1959329) (← links)