Q4716271 (Q4716271): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 20:28, 7 February 2024

scientific article; zbMATH DE number 949290
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 949290

    Statements

    0 references
    0 references
    25 November 1996
    0 references
    proof theory
    0 references
    minimal logic
    0 references
    classical logic
    0 references
    natural deduction system
    0 references
    Gentzen type system
    0 references
    cut elimination
    0 references
    normalization
    0 references
    interpolation
    0 references
    contexts
    0 references
    multisets
    0 references
    type theory
    0 references
    combinatory logic
    0 references
    formulas-as-types relation
    0 references
    categorical logic
    0 references
    coherence theorem
    0 references
    linear logic
    0 references
    second order Heyting arithmetic
    0 references
    intiutionistic logic
    0 references
    Hilbert style system
    0 references
    modal logic
    0 references
    first order arithmetic
    0 references
    connections with computer science
    0 references
    logic programming
    0 references

    Identifiers

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