Computations in fragments of intuitionistic propositional logic (Q1181713)

From MaRDI portal
Revision as of 00:54, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Computations in fragments of intuitionistic propositional logic
scientific article

    Statements

    title
    Computations in fragments of intuitionistic propositional logic (English)
    0 references
    DOI
    10.1007/BF01880328
    0 references
    publication date
    27 June 1992
    0 references
    Mathematics Subject Classification ID
    03B20
    0 references
    03-04
    0 references
    03B35
    0 references
    68T15
    0 references
    zbMATH DE Number
    28716
    0 references
    zbMATH Keywords
    finite diagrams
    0 references
    intuitionistic propositional logic
    0 references
    automated reasoning
    0 references
    fragment
    0 references
    exact model
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1181713&oldid=12034937"
    Powered by MediaWiki