Remarks on abstract structures of propositions and realizers