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):
Displaying 49 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)
- A note on FDE ``all the way up'' (Q778734) (← 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)
- A hierarchy of weak double negations (Q2016059) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- Galois connections for bilattices (Q2036385) (← links)
- Alternative multilattice logics: an approach based on monosequent and indexed monosequent calculi (Q2062192) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- A non-inferentialist, anti-realistic conception of logical truth and falsity (Q2339010) (← links)
- The logic of generalized truth values and the logic of bilattices (Q2350215) (← links)
- Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic (Q2350486) (← links)
- Representation of interlaced trilattices (Q2446542) (← links)
- Notes on Craig interpolation for LJ with strong negation (Q3170560) (← links)
- On Split Negation, Strong Negation, Information, Falsification, and Verification (Q3305426) (← links)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- Two, Three, Four, Infinity: The Path to the Four-Valued Logic and Beyond (Q3305609) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Inconsistency-Tolerant Multi-Agent Calculus (Q3448622) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Constructive negation, implication, and co-implication (Q3643320) (← links)
- Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic (Q4978553) (← links)
- (Q4997950) (← links)
- Modal multilattice logics with Tarski, Kuratowski, and Halmos operators (Q5013628) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- (Q5144357) (← links)
- Two Consistent Many-Valued Logics for Paraconsistent Phenomena (Q5241524) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Conservative translations of four-valued logics in modal logic (Q6067103) (← links)
- Logical multilateralism (Q6145030) (← links)