Hypothesis-Discharging Rules in Atomic Bases (Q5213617)

From MaRDI portal
scientific article; zbMATH DE number 7162492
Language Label Description Also known as
English
Hypothesis-Discharging Rules in Atomic Bases
scientific article; zbMATH DE number 7162492

    Statements

    Hypothesis-Discharging Rules in Atomic Bases (English)
    0 references
    0 references
    4 February 2020
    0 references
    assumption
    0 references
    atomic inference rule
    0 references
    discharge
    0 references
    extension
    0 references
    hypothesis
    0 references
    inference
    0 references
    validity
    0 references

    Identifiers