The Craig interpolation theorem for mixed - valued predicate calculi


Gradimir D. Vojvodić




U radu je dokazana teorema analogna Interpolacionoj teoremi Krejga, za raznovrednosn predikatski račun.