Keywords – implicationist logic