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
Socratic proofs for quantifiers - MaRDI portal

Socratic proofs for quantifiers (Q2499290)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Socratic proofs for quantifiers
scientific article

    Statements

    title
    Socratic proofs for quantifiers (English)
    0 references
    author
    Yanyan Li
    0 references
    publication date
    14 August 2006
    0 references
    Mathematics Subject Classification ID
    03A05
    0 references
    03B10
    0 references
    03B65
    0 references
    zbMATH DE Number
    5045635
    0 references
    zbMATH Keywords
    first-order logic
    0 references
    logic of questions
    0 references
    Pure Calculus of Quantifiers
    0 references
    completeness
    0 references
    OpenAlex ID
    W2053254769
    0 references
    cites work
    Q3837723
    0 references
    Q5695175
    0 references
    Q3279278
    0 references
    Q4159022
    0 references
    Q5560258
    0 references
    Erotetic implications
    0 references
    Q4811767
    0 references
    Socratic proofs
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2499290&oldid=34885327"
    Powered by MediaWiki