Assertion: justification logic | /r/CapableOf | start with the simplest base
Facets:
Source sentences:
text: Justification Logic starts with the simplest base: classical Boolean logic, and for good reasons.