Pages that link to "Item:Q312499"

The following pages link to A Gentzen calculus for nothing but the truth (Q312499):

Displaying 7 items.

• 40 years of FDE: an introductory overview (Q1685563) (← links)
• Interpolation methods for Dunn logics and their extensions (Q1685574) (← links)
• Non-distributive relatives of ETL and NFL (Q2021563) (← links)
• The \textsc{Fmla-Fmla} axiomatizations of the exactly true and non-falsity logics and some of their cousins (Q2281312) (← links)
• Structural rules for multi-valued logics (Q2418014) (← links)
• Two-sided sequent calculi for \textit{FDE}-like four-valued logics (Q2698547) (← links)
• The value of the one value: \textit{exactly true logic} revisited (Q6054063) (← links)