Propositional logic for topology-like matrices: A calculus with restricted substitution (Q599051)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Propositional logic for topology-like matrices: A calculus with restricted substitution
scientific article

    Statements

    Propositional logic for topology-like matrices: A calculus with restricted substitution (English)
    0 references
    0 references
    1978
    0 references
    many-valued propositional calculus
    0 references
    calculus with restricted substitution
    0 references
    topology-like matrices
    0 references
    pseudo Boolean algebra
    0 references
    Kleene's axiom schemes
    0 references

    Identifiers