Sequent calculi for the propositional logic of HYPE (Q2144182)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Sequent calculi for the propositional logic of HYPE
scientific article

    Statements

    Sequent calculi for the propositional logic of HYPE (English)
    0 references
    0 references
    1 June 2022
    0 references
    conditionals
    0 references
    negation
    0 references
    partial
    0 references
    cut-elimination
    0 references
    connections
    0 references

    Identifiers