Operator counterparts of types of reasoning (Q6146294)

From MaRDI portal
scientific article; zbMATH DE number 7786300
Language Label Description Also known as
English
Operator counterparts of types of reasoning
scientific article; zbMATH DE number 7786300

    Statements

    Operator counterparts of types of reasoning (English)
    0 references
    10 January 2024
    0 references
    reasoning
    0 references
    derivability operators
    0 references
    syntax of metalogic
    0 references
    consequence
    0 references
    dual consequence
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references