Jaśkowski's discursive logic

GPTKB entity