A framework for intuitionistic grammar logics (Q2695538)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A framework for intuitionistic grammar logics
scientific article

    Statements

    A framework for intuitionistic grammar logics (English)
    0 references
    0 references
    31 March 2023
    0 references
    bi-relational model
    0 references
    completeness
    0 references
    context-free
    0 references
    converse
    0 references
    grammar logic
    0 references
    intuitionistic logic
    0 references
    modal logic
    0 references
    path axiom
    0 references

    Identifiers