Michael Möllerfeld

Learn More
Gupta-Belnap-style circular definitions use all real numbers as possible starting points of revision sequences. In that sense they are boldface definitions. We discuss lightface versions of circular definitions and boldface versions of inductive definitions. 2000 Mathematics Subject Classification: 03B99 03D99 03A05 91A80 03D70 03E47 03E60 03B80 ∗ The(More)
  • 1