Report - Logics with directed unificationusers.math.cas.cz/~jerabek/talks/alcop2013.pdf · Unification in propositional logics If Lis a logic algebraizable wrt a (quasi)variety K, we can

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form