Skip Navigation



Journal of Logic and Computation Advance Access published online on April 22, 2009
Journal of Logic and Computation, doi:10.1093/logcom/exp023
This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Sernadas, A.
Right arrow Articles by Coniglio, M.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?

© The Author, 2009. Published by Oxford University Press. All rights reserved. For Permissions, please email: journals.permissions@oxfordjournals.org

Original Papers

A Graph-theoretic Account of Logics

Amilcar Sernadas, Cristina Sernadas and Joao Rasga

Department of Mathematics, Instituto Superior Técnico, TU Lisbon and SQIG, Instituto de Telecomunicações, Lisbon, Portugal.
E-mail: acs{at}math.ist.utl.pt; css{at}math.ist.utl.pt; jfr{at}math.ist.utl.pt

Marcelo Coniglio

Department of Philosophy and CLE, State University of Campinas, Brazil. E-mail: coniglio{at}cle.unicamp.br

Received 29 July 2008.

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.

Keywords: Graph-theoretic account of logics; non-deterministic semantics; diagrammatic reasoning via morphisms; completeness results



References

  1. Allwein G, Barwise J, eds. Logical Reasoning with Diagrams (1996) The Oxford University Press. Vol. 6 of Studies in Logic, & Computation.
  2. Avron A. Non-deterministic semantics for logics with a consistency operator. International Journal of Approximate Reasoning (2007) 45:271–287.[CrossRef][Web of Science]
  3. Barwise J. Axioms for abstract model theory. Annals of Mathematical Logic (1974) 7:221–265.[CrossRef]
  4. Barwise J, Etchemendy J. The language of First-Order Logic (1991) 2nd edn. Stanford University Center for the Study of Language and Information. Vol. 23 of CSLI Lecture Notes.
  5. Barwise J, Etchemendy J. Hyperproof (1994) CSLI Publications. Vol. 42 of CSLI Lecture Notes.
  6. Barwise J, Hammer E. Diagrams and the concept of logic system. In: Studies in Logic and Computation—Allwein G, Barwise J, eds. (1996) The Oxford University. 49–78.
  7. Beziau J-Y, ed. Towards a general theory of logic. In: Logica Universalis (2007) 2nd edn. Birkhäuser Verlag.
  8. Birkhoff G. On the structure of abstract algebras. Proceedings of the Cambridge Philosophical Society (1935) 31:433–454.[CrossRef]
  9. Blackburn P, de Rijke M, Venema Y. Modal Logic (2001) Cambridge University Press. Vol. 53 of Cambridge Tracts in Theoretical Computer Science.
  10. Carnielli WA, Coniglio ME, Marcos J. Logics of formal inconsistency. In: Handbook of Philosophical Logic—Gabbay D, Guenthner F, eds. (2007) 14, 2nd edn. Springer. 15–107.
  11. d’Avila Garcez AS, Gabbay DM, Lamb LC. Value-based argumentation frameworks as neural-symbolic learning systems. Journal of Logic and Computation (2005) 15:1041–1058.[Abstract/Free Full Text]
  12. Dunn J. Relevance logic and entailment. In. In: Handbook of Philosophical Logic—Gabbay D, Guenthner F, eds. (1986) 3. Kluwer Academic Publishers. 117–224.
  13. Fariñas del Cerro L, Herzig A. Combining classical and intuitionistic logic. In: Frontiers of Combining Systems—Baader F, Schulz KU, eds. (1996) 3. Kluwer Academic Publishers. 93–102.[Web of Science]
  14. Gabbay DM, ed. What is a Logical System? (1994) Oxford University Press: The Clarendon Press. Vol. 4 of Studies in Logic, & Computation.
  15. Gardner M. Logic Machines and Diagrams (1982) 2nd edn. University of Chicago Press.
  16. Goguen JA, Meseguer J. Completeness of many-sorted equational logic. Houston Journal of Mathematics (1985) 11:307–334.[Web of Science]
  17. Hammer E, Danner N. Towards a model theory of diagrams. Journal of Philosophical Logic (1996) 25:463–482.[Web of Science]
  18. Hammer EM. Logic and Visual Information (1995) CSLI Publications. Studies in Logic, Language and Information.
  19. IEEE Symposium. Visual Languages and Human-Centric Computing (2008).
  20. Lambek J, Scott PJ. Introduction to Higher Order Categorical Logic (1988) Cambridge University Press. Vol. 7 of Cambridge Studies in Advanced Mathematics. Reprint of the 1986 original.
  21. Mac Lane S. Categories for theWorking Mathematician (1998) 2nd edn. Springer. Vol. 5 of Graduate Texts in Mathematics.
  22. Ono H. Substructural logics and residuated lattices—an introduction. In: Trends in logic—Hendricks VF, Malinowski J, eds. (2003) Kluwer Academic Publications. 193–228. Vol 21 of Trends Logic Studies Logica Library.
  23. Paoli F. Substructural logics: A primer (2002) Kluwer Academic Publishers. volume 13 of Trends in Logic—Studia Logica Library.
  24. Peirce CS. Collected papers. Hartshorne C, Weiss P, eds. (1960) The Belknap Press of Harvard University Press.
  25. Rasiowa H, Sikorski R. The Mathematics of Metamathematics (1970) 3rd edn. PWN—Polish Scientific Publishers.
  26. Restall G, Paoli F. The geometry of non-distributive logics. The Journal of Symbolic Logic (2005) 70:1108–1126.[CrossRef]
  27. Shin S-J. The Logical Status of Diagrams (1994) Cambridge University Press.
  28. Stanford University Rehseis and the Suppes Foundation. The Role of Diagrams in Mathematics: History, Logic, Philosophy and Cognitive Sciences (2008).
  29. Toulmin SE. The Uses of Argument (2003) 2nd edn. Cambridge University Press.
  30. UK University of Brighton. International Conference on the Theory and Application of Diagrams (2008).
  31. Venn J. Symbolic logic (1971) Chelsea Publishing Co. Reprint of the 1894, 2nd edn Revised and rewritten.

Add to CiteULike CiteULike   Add to Connotea Connotea   Add to Del.icio.us Del.icio.us    What's this?



This Article
Right arrow Abstract Freely available
Right arrow Full Text (PDF)
Right arrow Alert me when this article is cited
Right arrow Alert me if a correction is posted
Services
Right arrow Email this article to a friend
Right arrow Similar articles in this journal
Right arrow Alert me to new issues of the journal
Right arrow Add to My Personal Archive
Right arrow Download to citation manager
Right arrowRequest Permissions
Google Scholar
Right arrow Articles by Sernadas, A.
Right arrow Articles by Coniglio, M.
Right arrow Search for Related Content
Social Bookmarking
Add to CiteULike   Add to Connotea   Add to Del.icio.us  
What's this?