Union of logics modeled by finite trees (Q1055763)

From MaRDI portal
Revision as of 10:28, 14 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Union of logics modeled by finite trees
scientific article

    Statements

    title
    Union of logics modeled by finite trees (English)
    0 references
    DOI
    10.1007/BF01980750
    0 references
    author
    Ya. M. Drugush
    0 references
    publication date
    1983
    0 references
    zbMATH DE Number
    3825766
    0 references
    zbMATH Keywords
    superintuitionistic logic
    0 references
    finite forests
    0 references
    lattice of superintuitionistic logics
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1055763&oldid=34687095"
    Powered by MediaWiki