Faulty Belnap computers and subsystems of FDE (Q2957959)

From MaRDI portal
Revision as of 20:17, 3 February 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Faulty Belnap computers and subsystems of FDE
scientific article

    Statements

    Faulty Belnap computers and subsystems of FDE (English)
    0 references
    31 January 2017
    0 references
    analytic implication
    0 references
    first-degree entailment
    0 references
    analytic containment
    0 references
    propositional logic
    0 references

    Identifiers