Journal of Logic and Computation 19 (6):1281-1320 (2009)
Authors |
|
Abstract |
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.
|
Keywords | combination of ogics multi-graphs |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Citations of this work BETA
Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.
Importing Logics: Soundness and Completeness Preservation. [REVIEW]J. Rasga, A. Sernadas & C. Sernadas - 2013 - Studia Logica 101 (1):117-155.
Fibring as Biporting Subsumes Asymmetric Combinations.J. Rasga, A. Sernadas & C. Sernadas - 2014 - Studia Logica 102 (5):1041-1074.
Similar books and articles
On Graph-Theoretic Fibring of Logics.A. Sernadas, C. Sernadas, J. Rasga & M. Coniglio - 2009 - Journal of Logic and Computation 19 (6):1321-1357.
Importing Logics.João Rasga, Amílcar Sernadas & Cristina Sernadas - 2012 - Studia Logica 100 (3):545-581.
The Downward Transfer of Elementary Satisfiability of Partition Logics.Y. Chen & E. Shen - 2000 - Mathematical Logic Quarterly 46 (4):477-488.
A Categorial Approach to the Combination of Logics.Walter A. Carnielli & Marcelo E. Coniglio - 1999 - Manuscrito 22 (2):69-94.
On the Finiteness of the Recursive Chromatic Number.William I. Gasarch & Andrew C. Y. Lee - 1998 - Annals of Pure and Applied Logic 93 (1-3):73-81.
Gamma Graph Calculi for Modal Logics.Minghui Ma & Ahti-Veikko Pietarinen - 2018 - Synthese 195 (8):3621-3650.
Infinitary Logics and Very Sparse Random Graphs.James F. Lynch - 1997 - Journal of Symbolic Logic 62 (2):609-623.
Importing Logics: Soundness and Completeness Preservation. [REVIEW]J. Rasga, A. Sernadas & C. Sernadas - 2013 - Studia Logica 101 (1):117-155.
Many-Dimensional Arrow Logics.Dimiter Vakarelov - 1996 - Journal of Applied Non-Classical Logics 6 (4):303-345.
Forking and Dividing in Henson Graphs.Gabriel Conant - 2017 - Notre Dame Journal of Formal Logic 58 (4):555-566.
The Unrestricted Combination of Temporal Logic Systems.Marcelo Finger & M. Weiss - 2002 - Logic Journal of the IGPL 10 (2):165-189.
On Some Putative Graph-Theoretic Counterexamples to the Principle of the Identity of Indiscernibles.Rafael De Clercq - 2012 - Synthese 187 (2):661-672.
Fibring: Completeness Preservation.Alberto Zanardo, Amilcar Sernadas & Cristina Sernadas - 2001 - Journal of Symbolic Logic 66 (1):414-439.
Analytics
Added to PP index
2019-01-09
Total views
182 ( #63,307 of 2,497,793 )
Recent downloads (6 months)
26 ( #33,254 of 2,497,793 )
2019-01-09
Total views
182 ( #63,307 of 2,497,793 )
Recent downloads (6 months)
26 ( #33,254 of 2,497,793 )
How can I increase my downloads?
Downloads