Towards a General Logic of Propositions

GPTKB entity