A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (Q2695525)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE |
scientific article |
Statements
A variant with the variable-sharing property of Brady's 4-valued implicative expansion BN4 of Anderson and Belnap's logic FDE (English)
0 references
31 March 2023
0 references
relevant logics
0 references
4-valued relevant logics
0 references
two-valued belnap-dunn semantics
0 references
variable-sharing property
0 references
Brady's 4-valued logic BN4
0 references
0 references
0 references
0 references
0 references