The Lambek calculus extended with intuitionistic propositional logic (Q332086)

From MaRDI portal
Revision as of 00:01, 9 December 2024 by Import241208021249 (talk | contribs) (Normalize DOI.)
scientific article
Language Label Description Also known as
English
The Lambek calculus extended with intuitionistic propositional logic
scientific article

    Statements

    title
    The Lambek calculus extended with intuitionistic propositional logic (English)
    0 references
    author
    Michael Kaminski
    0 references
    Nissim Francez
    0 references
    publication date
    27 October 2016
    0 references
    zbMATH Keywords
    Lambek calculus
    0 references
    intuitionistic propositional logic
    0 references
    Kripke semantics
    0 references
    ternary semantics
    0 references
    sequent calculus
    0 references
    decidability
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03B47
    0 references
    03B20
    0 references
    03B05
    0 references
    03F03
    0 references
    zbMATH DE Number
    6644702
    0 references
    OpenAlex ID
    W2297035263
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q332086&oldid=38067004"
    Powered by MediaWiki