Taming logic (Q1909607)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Taming logic |
scientific article; zbMATH DE number 856767
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Taming logic |
scientific article; zbMATH DE number 856767 |
Statements
Taming logic (English)
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
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
