The following pages link to Nothing but the truth (Q1947033):
Displaying 39 items.
- On all strong Kleene generalizations of classical logic (Q295922) (← links)
- A Gentzen calculus for nothing but the truth (Q312499) (← links)
- Truth without satisfaction (Q761439) (← links)
- A note on FDE ``all the way up'' (Q778734) (← links)
- The strong version of a sentential logic (Q1680515) (← links)
- 40 years of FDE: an introductory overview (Q1685563) (← links)
- An algebraic view of super-Belnap logics (Q1685564) (← links)
- Cut elimination, identity elimination, and interpolation in super-Belnap logics (Q1685571) (← links)
- First-degree entailment and its relatives (Q1685573) (← links)
- Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics (Q1689568) (← links)
- The edited truth (Q1690197) (← links)
- Four-valued logics of truth, nonfalsity, exact truth, and material equivalence (Q1981990) (← links)
- A capacity-based framework encompassing Belnap-Dunn logic for reasoning about multisource information (Q1999580) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Hilbert-style axiomatization of first-degree entailment and a family of its extensions (Q2041966) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
- HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517) (← links)
- A deterministic weakening of Belnap-Dunn logic (Q2422310) (← links)
- Correspondence analysis and automated proof-searching for first degree entailment (Q2663794) (← links)
- Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
- Truth by default (Q2765284) (← links)
- An Invitation to New Essays on Belnap-Dunn Logic (Q3305604) (← links)
- FDE as a Base for Constructive Logic (Q3305615) (← links)
- First-Degree Entailment and Structural Reasoning (Q3305621) (← links)
- An infinity of super-Belnap logics (Q4583174) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics (Q4683216) (← links)
- Exactly true and non-falsity logics meeting infectious ones (Q4995617) (← links)
- On Gluts in Mathematics and Science (Q5213758) (← links)
- Feferman and the Truth (Q5214789) (← links)
- LOGIC FOR EXACT ENTAILMENT (Q5241232) (← links)
- THE LATTICE OF SUPER-BELNAP LOGICS (Q5880424) (← links)
- The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)
- Logics of upsets of De Morgan lattices (Q6140751) (← links)
- On paracomplete versions of Jaśkowski's discussive logic (Q6555700) (← links)
- Reasoning with belief functions over Belnap-Dunn logic (Q6560993) (← links)
- Mortensen logics (Q6659908) (← links)
