Gerald L. Mathai

Learn More
A logical calculus, not unlike Gentzen's sequent calculus for intuitionist logic, is described which is sound for polynomial-time realizability as deened by Crossley and Remmel. The sequent calculus admits cut elimination, thus giving a decision procedure for the propositional fragment. 0 Introduction In 4], a restricted notion of realizability is(More)
A spectrophotometric method of assay of mefenamic acid in tablets involving, dissolving the tablet powder in 1,4-dioxane and measuring the absorbance at 353.2 nm. The concentration of mefenamic acid is determined using the previously prepared calibration curve using standard solution of mefenamic acid in dioxane. The method was tested by assay of six(More)
  • 1