A Gentzen Calculus for Nothing but the Truth

Journal of Philosophical Logic 45 (4):451-465 (2016)
Download Edit this record How to cite View on PhilPapers
In their paper Nothing but the Truth Andreas Pietz and Umberto Rivieccio present Exactly True Logic, an interesting variation upon the four-valued logic for first-degree entailment FDE that was given by Belnap and Dunn in the 1970s. Pietz & Rivieccio provide this logic with a Hilbert-style axiomatisation and write that finding a nice sequent calculus for the logic will presumably not be easy. But a sequent calculus can be given and in this paper we will show that a calculus for the Belnap-Dunn logic we have defined earlier can in fact be reused for the purpose of characterising ETL, provided a small alteration is made—initial assignments of signs to the sentences of a sequent to be proved must be different from those used for characterising FDE. While Pietz & Rivieccio define ETL on the language of classical propositional logic we also study its consequence relation on an extension of this language that is functionally complete for the underlying four truth values. On this extension the calculus gets a multiple-tree character—two proof trees may be needed to establish one proof.
(categorize this paper)
PhilPapers/Archive ID
Revision history
Archival date: 2018-08-27
View upload history
References found in this work BETA
Reasoning with Logical Bilattices.Arieli, Ofer & Avron, Arnon
Nothing but the Truth.Pietz, Andreas & Rivieccio, Umberto

View all 14 references / Add more references

Citations of this work BETA
40 Years of FDE: An Introductory Overview.Omori, Hitoshi & Wansing, Heinrich
Structural Rules for Multi-Valued Logics.Francez, Nissim & Kaminski, Michael

Add more citations

Added to PP index

Total views
44 ( #36,972 of 43,689 )

Recent downloads (6 months)
5 ( #43,726 of 43,689 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.