Towards a General Logic of Propositions