A proof of the not-semidecidability of minimum model entailment Jes´ us H´ector Dom´ınguez S´anchez This note presents a proof of the not-semidecidability of the minimum entailment relation |≈ of minimum model rea - Dom - Document - PDFSEARCH.IO

First Page	Meta Content
	A proof of the not-semidecidability of minimum model entailment Jes´ us H´ector Dom´ınguez S´anchez This note presents a proof of the not-semidecidability of the minimum entailment relation \|≈ of minimum model rea Add to Reading List Document Date: 2011-11-09 09:02:43 Open Document File Size: 141,77 KB Share Result on Facebook

A proof of the not-semidecidability of minimum model entailment Jes´ us H´ector Dom´ınguez S´anchez This note presents a proof of the not-semidecidability of the minimum entailment relation |≈ of minimum model reaAdd to Reading List