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