A cut-free calculus for second-order Gödel logic (Q1677040)

From MaRDI portal
Revision as of 11:17, 25 July 2023 by Importer (talk | contribs) (‎Created a new Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
A cut-free calculus for second-order Gödel logic
scientific article

    Statements

    A cut-free calculus for second-order Gödel logic (English)
    0 references
    0 references
    0 references
    10 November 2017
    0 references
    proof theory
    0 references
    cut-admissibility
    0 references
    second-order logic
    0 references
    non-classical logics
    0 references
    fuzzy logics
    0 references
    Gödel logic
    0 references
    non-deterministic semantics
    0 references

    Identifiers