This is a preview. Log in through your library . Abstract We prove a generalization of Maehara's lemma to show that the extensions of classical and intuitionistic first-order logic with a special type ...

The invariant polynomials Cφ κ 1,...,κ r (X1,...,Xr) (Davis [8] and Chikuse [2] with r (r ≥ 2) symmetric matrix arguments have been defined, extending the zonal ...