English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Zendy Plus

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Zendy Tools

Zendy Open

The four-valued semantics of Belnap--Dunn logic, consisting of the truthvalues True, False, Neither, and Both, gives rise to several non-classicallogics depending on which feature of propositions we wish to preserve: truth,non-falsity, or exact truth (truth and non-falsity). Interpreting equality oftruth values in this semantics as material equivalence of propositions, we canmoreover see the equational consequence relation of this four-element algebraas a logic of material equivalence. In this paper we axiomatize allcombinations of these four-valued logics, for example the logic of truth andexact truth or the logic of truth and material equivalence. These combinedsystems are consequence relations which allow us to express implicationsinvolving more than one of these features of propositions.

Four-valued logics of truth, non-falsity, exact truth, and material equivalence