Natural deduction calculi and sequent calculi for counterfactual logics (Q332082)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Natural deduction calculi and sequent calculi for counterfactual logics
scientific article

    Statements

    Natural deduction calculi and sequent calculi for counterfactual logics (English)
    0 references
    27 October 2016
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    natural deduction calculus
    0 references
    sequent calculus
    0 references
    normalization
    0 references
    counterfactual logics
    0 references
    0 references