Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
Extensional Logic of Hyperintensions - MaRDI portal

Extensional Logic of Hyperintensions (Q3224007)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extensional Logic of Hyperintensions
scientific article

    Statements

    title
    Extensional Logic of Hyperintensions (English)
    0 references
    author
    Marie Duží
    0 references
    publication date
    9 March 2012
    0 references
    zbMATH Keywords
    quantifying-in
    0 references
    extensional context
    0 references
    intensional context
    0 references
    hyperintensional context
    0 references
    transparency
    0 references
    ramified type theory
    0 references
    transparent intensional logic
    0 references
    extensional logic of hyperintensions
    0 references

    Identifiers

    zbMATH DE Number
    6013589
    0 references
    OpenAlex ID
    W50911829
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q3224007&oldid=35268953"
    Powered by MediaWiki