Uniqueness of axiomatic extensions of cut-free classical propositional logic (Q4644567)

From MaRDI portal
scientific article; zbMATH DE number 6997978
Language Label Description Also known as
English
Uniqueness of axiomatic extensions of cut-free classical propositional logic
scientific article; zbMATH DE number 6997978

    Statements

    Uniqueness of axiomatic extensions of cut-free classical propositional logic (English)
    0 references
    0 references
    0 references
    8 January 2019
    0 references
    proof theory
    0 references
    axiomatic extensions
    0 references
    logic of pivotal assumptions
    0 references
    cut elimination with proper axioms
    0 references

    Identifiers