V. Yankov’s Contributions to Propositional Logic (Q5886455)

From MaRDI portal
scientific article; zbMATH DE number 7672614
Language Label Description Also known as
English
V. Yankov’s Contributions to Propositional Logic
scientific article; zbMATH DE number 7672614

    Statements

    V. Yankov’s Contributions to Propositional Logic (English)
    0 references
    0 references
    5 April 2023
    0 references
    Yankov's formula
    0 references
    characteristic formula
    0 references
    intermediate logic
    0 references
    implicative lattice
    0 references
    weak law of excluded middle
    0 references
    Yankov's logic
    0 references
    positive logic
    0 references
    logic of realizability
    0 references
    Heyting algebra
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references