RULES FOR SUBATOMIC DERIVATION (Q3094185)

From MaRDI portal
scientific article
Language Label Description Also known as
English
RULES FOR SUBATOMIC DERIVATION
scientific article

    Statements

    RULES FOR SUBATOMIC DERIVATION (English)
    0 references
    21 October 2011
    0 references
    proof-theoretic semantics
    0 references
    subatomic introduction and elimination rules for atomic sentences
    0 references
    subatomic normal form theorem
    0 references

    Identifiers