A graph-theoretic account of logics

Journal of Logic and Computation 19 (6):1281-1320 (2009)
Download Edit this record How to cite View on PhilPapers
A graph-theoretic account of logics is explored based on the general notion of m-graph (that is, a graph where each edge can have a finite sequence of nodes as source). Signatures, interpretation structures and deduction systems are seen as 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 nondeterministic semantics, and subsume all logics endowed with an algebraic semantics.
PhilPapers/Archive ID
Upload history
Archival date: 2019-01-09
View other versions
Added to PP index

Total views
189 ( #37,612 of 71,142 )

Recent downloads (6 months)
19 ( #40,557 of 71,142 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.