No abstract

Axiomatizations of two systems of modal logic are presented in this paper. The first consists of six axiom schemata and one rule of inference; this axiomatization is proved equivalent to Lewis' S3. The addition of a seventh schema, the analogue of C10. 1, yields an axiomatization equivalent to S4. Our axiom schemata for S3 are proved mutually independent, as are our schemata for S4.

No abstract

No abstract

Vanadium peroxidases: structure and function.Wever, R.; Barnett, P.; Simons, L.H.; Messerschmidt, A.; Hemrika, W.