Pages that link to "Item:Q1006448"
From MaRDI portal
The following pages link to Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448):
Displaying 25 items.
- 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)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Paraconsistent semantics for Pavelka style fuzzy sentential logic (Q983066) (← 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)
- A hierarchy of weak double negations (Q2016059) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- Valuations: bi, tri, and tetra (Q2278844) (← 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)
- Truth, Falsehood, Information and Beyond: The American Plan Generalized (Q3305427) (← links)
- SEQUENT CALCULI FOR SOME TRILATTICE LOGICS (Q3395332) (← links)
- Jaina Logic: A Contemporary Perspective (Q3529847) (← links)
- Processing Information from a Set of Sources (Q3600567) (← links)
- Two Consistent Many-Valued Logics for Paraconsistent Phenomena (Q5241524) (← links)
- Eastern Proto-Logics (Q5241540) (← links)
- Conservative translations of four-valued logics in modal logic (Q6067103) (← links)
