On analysing relevance constructively (Q1257472)

From MaRDI portal





scientific article; zbMATH DE number 3630709
Language Label Description Also known as
English
On analysing relevance constructively
scientific article; zbMATH DE number 3630709

    Statements

    On analysing relevance constructively (English)
    0 references
    0 references
    1979
    0 references
    Natural Deduction System
    0 references
    Conservative Extension of Pure Implicational Fragments
    0 references
    Intuitionistic Propositional Calculus
    0 references
    Proof-Theoretic Analysis
    0 references
    Relevant Logic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references