Pages that link to "Item:Q656420"
From MaRDI portal
The following pages link to Truth and falsehood. An inquiry into generalized logical values (Q656420):
Displaying 50 items.
- Analytic tableaux for all of \(\mathrm{SIXTEEN}_3\) (Q253121) (← links)
- Natural dualities through product representations: bilattices and beyond (Q295925) (← links)
- Completeness and cut-elimination theorems for trilattice logics (Q639681) (← links)
- Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics (Q744990) (← links)
- Routley star and hyperintensionality (Q830371) (← links)
- Hyper-contradictions, generalized truth values and logics of truth and falsehood (Q1006448) (← links)
- Editorial introduction. Truth values. I (Q1015488) (← links)
- Truth values, neither-true-nor-false, and supervaluations (Q1015489) (← links)
- Editorial introduction. Truth values. II (Q1037595) (← links)
- Compositional meaning in logic (Q1682292) (← links)
- Modal multilattice logic (Q1682294) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant (Q1685569) (← links)
- A more general general proof theory (Q1688710) (← links)
- Reprint of: ``A more general general proof theory'' (Q1693594) (← links)
- Interpolation in 16-valued trilattice logics (Q1744000) (← links)
- Bi-facial truth: a case for generalized truth values (Q2016060) (← links)
- Meaningless divisions (Q2075270) (← links)
- Sequent-calculi for metainferential logics (Q2118968) (← 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)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Author's response to Wansing and Belnap's Generalized truth-values (Q3061284) (← links)
- What is a Paraconsistent Logic? (Q3305335) (← 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)
- Bilattice Logics and Demi-Negation (Q3305617) (← links)
- The Number of Logical Values (Q3305657) (← links)
- On Non-transitive “Identity” (Q3305680) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- (Q3976268) (← links)
- The Trilattice of Constructive Truth Values (Q4529486) (← links)
- An Inferentially Many-Valued Two-Dimensional Notion of Entailment (Q4576064) (← links)
- The Infinite-Valued Łukasiewicz Logic and Probability (Q4608554) (← links)
- Metainferential duality (Q4994022) (← links)
- Disjoint Logics (Q5013619) (← links)
- The Strict/Tolerant Idea and Bilattices (Q5020168) (← links)
- (Q5078314) (← links)
- A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS (Q5107533) (← links)
- On the Methodology of Paraconsistent Logic (Q5213765) (← links)
- SUSZKO’S PROBLEM: MIXED CONSEQUENCE AND COMPOSITIONALITY (Q5216975) (← links)
- Two proofs of the algebraic completeness theorem for multilattice logic (Q5243396) (← links)
- A family of metainferential logics (Q5742701) (← links)
- Неклассический взгляд на природу значений истинности (Q5882766) (← links)
- Provability multilattice logic (Q6040535) (← links)
- Conservative translations of four-valued logics in modal logic (Q6067103) (← links)
- The nature of entailment: an informational approach (Q6088597) (← links)