From Consequence Operator to Universal Logic: A Survey of General Abstract Logic
Jean-Yves Béziau · Logica Universalis · 2007
We present an overview of the different frameworks and structures that have been proposed during the last century in order to develop a general theory of logics. This includes Tarski’s consequence operator, logical matrices, Hertz’s Satzsysteme, Gentzen’s sequent calculus, Suszko’s abstract logic, algebraic logic, da Costa’s theory of valuation and universal logic itself.