Taming logic (Q1909607)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Taming logic
scientific article

    Statements

    Taming logic (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    8 October 1996
    0 references
    The authors introduce a general technique, called taming, which, given a bad-behaving logic (for example, undecidable, incomplete), gives a nearby well-behaving logic. The basic object of the strategy application is arrow logic. The authors make some remarks about classical first-order logic.
    0 references
    0 references
    0 references
    taming
    0 references
    bad-behaving logic
    0 references
    well-behaving logic
    0 references
    arrow logic
    0 references
    classical first-order logic
    0 references
    0 references