This text investigates propositional intuistionistic and modal logics from an alternative point of view. It mainly deals with the structure of the category of f... » 

This text investigates propositional intuistionistic and modal logics from an alternative point of view. It mainly deals with the structure of the category of finitely presented Heyting and modal algebras, dealing both with proof theoretic and model theoretic facts. «