An intermediate logic: by J. Welton and A. J. Monahan