NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550)

From MaRDI portal
scientific article; zbMATH DE number 7374089
Language Label Description Also known as
English
NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
scientific article; zbMATH DE number 7374089

    Statements

    NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (English)
    0 references
    0 references
    0 references
    22 July 2021
    0 references
    non-well-founded proofs
    0 references
    Grzegorczyk logic
    0 references
    cut-elimination
    0 references
    Lyndon interpolation
    0 references
    cyclic proofs
    0 references

    Identifiers

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