Semantics and proof-theory of depth bounded Boolean logics (Q385021)

From MaRDI portal
Revision as of 03:14, 30 January 2024 by Import240129110155 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Semantics and proof-theory of depth bounded Boolean logics
scientific article

    Statements

    title
    Semantics and proof-theory of depth bounded Boolean logics (English)
    0 references
    author
    Marcello D'Agostino
    0 references
    Marcelo Finger
    0 references
    Dov M. Gabbay
    0 references
    publication date
    29 November 2013
    0 references
    zbMATH Keywords
    Boolean logic
    0 references
    tractability
    0 references
    natural deduction
    0 references
    automated deduction
    0 references

    Identifiers

    Mathematics Subject Classification ID
    03F03
    0 references
    03B05
    0 references
    03B35
    0 references
    zbMATH DE Number
    6234586
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q385021&oldid=12260134"
    Powered by MediaWiki