scientific article; zbMATH DE number 7599972
From MaRDI portal
Publication:5039153
Publication date: 12 October 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
3-valued logicKleene's strong 3-valued logicimplicative logicBelnap-Dunn `two-valued' semanticsfirst degree entailment logic FDE
Related Items (2)
On the three-valued expansions of Kleene's logic ⋮ A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE
This page was built for publication:
