A Graph-theoretic Account of Logics

A graph-theoretic account of logics is explored based on the general notion of m-graph (i.e; a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as multi-graphs (m-graphs). After defining a category freely generated by a m-graph, formulas and expressions in general can be seen as morphisms. Moreover, derivations involving rule instantiation are also morphisms. Soundness and completeness theorems are proved. As a consequence of the generality of the approach our results apply to very different logics encompassing, among others, substructural logics as well as logics with non-deterministic semantics, and subsume all logics endowed with an algebraic semantics.

[1]  J. Barwise,et al.  The language of first-order logic , 1991 .

[2]  J. Michael Dunn,et al.  Relevance Logic and Entailment , 1986 .

[3]  J. Davenport.  Editor , 1960 .

[4]  S. Lane.  Categories for the Working Mathematician , 1971 .

[5]  J. Lambek,et al.  Introduction to higher order categorical logic , 1986 .

[6]  Hans Freudenthal.  The language of logic , 1966 .

[7]  W. Carnielli,et al.  Logics of Formal Inconsistency , 2007 .

[8]  D. Gabbay.  What is a logical system , 1994 .

[9]  Jean-Yves Béziau,et al.  Logica Universalis: Towards a General Theory of Logic , 2007 .

[10]  Dov M. Gabbay,et al.  Value-based Argumentation Frameworks as Neural-symbolic Learning Systems , 2005, J. Log. Comput..

[11]  L. F. D. Cerro,et al.  Combining Classical and Intuitionistic Logic , 1996 .

[12]  H. Ono.  Substructural Logics and Residuated Lattices — an Introduction , 2003 .

[13]  Francesco Paoli.  Substructural Logics: A Primer , 2011 .

[14]  Hector J. Levesque,et al.  The Language of First-Order Logic , 2004 .

[15]  Eric Hammer,et al.  Logic and Visual Information , 1995 .

[16]  Sun-Joo Shin,et al.  The logical status of diagrams , 1995 .

[17]  Arnon Avron.  Non-deterministic semantics for logics with a consistency operator , 2007, Int. J. Approx. Reason..

[18]  H. Gaifman,et al.  Symbolic Logic , 1881, Nature.

[19]  G. L..  Collected Papers , 1912, Nature.

[20]  K. J. Barwise,et al.  Axioms for abstract model theory , 1974 .

[21]  Eric Hammer,et al.  Towards a model theory of diagrams , 1996, J. Philos. Log..

[22]  Jon Barwise,et al.  Diagrams and the concept of logical system , 1994 .

[23]  G. Birkhoff,et al.  On the Structure of Abstract Algebras , 1935 .

[24]  M. de Rijke,et al.  Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.

[25]  G R,et al.  The Geometry of Non-Distributive Logics , 2005 .

[26]  R. Sikorski,et al.  The mathematics of metamathematics , 1963 .