The B4-valued propositional logic with unary logical connectives ∼1 / ∼2 /¬
{{custom_author.name}}, {{article.zuoZheEn}}
The B4-valued propositional logic with unary logical connectives ∼1 / ∼2 /¬
[{{custom_ref.label}}] |
{{custom_citation.content}}
|
/
〈 | 〉 |