|
|
Download PDFOpen PDF in browserA note on first-order reasoning for minimum models17 pages•Published: February 12, 2014AbstractIn this note, we consider a notion of minimum model suitable for formulating a semantics of evolvable computing systems using a revision-based logic. We explore a range of proof systems for reasoning in the logic of minimum models and consider their application to the simulation of evolvable systems. Finally, we outline how these proof systems may be implemented in a logical framework. In: Andrei Voronkov and Margarita Korovina (editors). HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday, vol 42, pages 289-305. Download PDFOpen PDF in browser |
|
|