Domain theory in logical form. References and Citations. A 2-categorical framework. Partial order models of concurrency and the computation of functions. Abstract and Citations.
Minimalism subsumes default logic and circumscription in stratified logic programming.
Dale Miller , Gopalan Nadathur , and Andre Scedrov . Hereditary Harrop formulas and uniform proof systems. Haim Gaifman , Harry Mairson , Yehoshua Sagiv , and Moshe Y. Vardi . Undecidable optimization problems for database logic programs. References and Citations.