Proceedings of the Royal Irish Academy: On an extended system of the propositional calculus