Non-classical logic | HearLore