Arnon Avron

• Simple consequence relations