Taming logic (Q1909607): Difference between revisions

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.