2010. Algebraic, abstract algebraic and behavioral approaches to logical systems. Part I. The Reasoner. 4, 8 (Aug. 2010).