A new methodology for developing deduction methods (Q1037405)

From MaRDI portal
Revision as of 03:56, 2 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
A new methodology for developing deduction methods
scientific article

    Statements

    title
    A new methodology for developing deduction methods (English)
    0 references
    author
    Renate A. Schmidt
    0 references
    publication date
    16 November 2009
    0 references
    zbMATH Keywords
    modal dynamic logics
    0 references
    tableau systems
    0 references
    modal resolution systems
    0 references
    Rasiowa-Sikorski systems
    0 references
    describes a project that uses
    MSPASS
    0 references
    VAMPIRE
    0 references
    KL-ONE
    0 references
    SPASS
    0 references
    E Theorem Prover
    0 references
    cites work
    Q2751353
    0 references
    Q4282593
    0 references
    Peirce algebras
    0 references
    Q4235432
    0 references
    Q3997615
    0 references
    Q2751377
    0 references
    Q3543581
    0 references
    Q4809060
    0 references
    Q2753601
    0 references
    Q4503911
    0 references
    Q2721185
    0 references
    Q2751044
    0 references
    Q2751359
    0 references
    Q2751373
    0 references
    Q5734410
    0 references
    Q3150300
    0 references
    Q3509041
    0 references
    Q2723441
    0 references
    Q3150301
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68T15
    0 references
    03B25
    0 references
    03B35
    0 references
    03B45
    0 references
    03B70
    0 references
    03F03
    0 references
    68T27
    0 references
    zbMATH DE Number
    5633347
    0 references
    OpenAlex ID
    W2071254558
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1037405&oldid=35137998"
    Powered by MediaWiki