Truth-values as labels: a general recipe for labelled deduction

We introduce a general recipe for presenting non-classical logics in a modular and uniform way as labelled deduction systems. Our recipe is based on a labelling mechanism where labels are general entities that are present, in one way or another, in all logics, namely truth-values. More specifically, the main idea underlying our approach is the use of algebras of truth-values, whose operators reflect the semantics we have in mind, as the labelling algebras of our labelled deduction systems. The “truth-values as labels” approach allows us to give generalized systems for multiple-valued logics within the same formalism: since we can take multiple-valued logics as meaning not only finitely or infinitely many-valued logics but also power-set logics, i.e. logics for which the denotation of a formula can be seen as a set of worlds, our recipe allows us to capture also logics such as modal, intuitionistic and relevance logics, thus providing a first step towards the fibring of these logics with many-valued ones.

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

[2]  Cristina Sernadas,et al.  Fibring: completeness preservation , 2001, Journal of Symbolic Logic.

[3]  Dov M. Gabbay,et al.  Naming Worlds in Modal and Temporal Logic , 2002, J. Log. Lang. Inf..

[4]  Reiner Hähnle,et al.  Tableaux for Many-Valued Logics , 1999 .

[5]  D. Prawitz.  Natural Deduction: A Proof-Theoretical Study , 1965 .

[6]  Peter W. O'Hearn,et al.  The Logic of Bunched Implications , 1999, Bulletin of Symbolic Logic.

[7]  Luca Viganò,et al.  Labelled non-classical logics , 2000 .

[8]  D. Gabbay,et al.  Handbook of tableau methods , 1999 .

[9]  M. de Rijke,et al.  Why Combine Logics? , 1997, Stud Logica.

[10]  Luca Cardelli,et al.  A Spatial Logic for Concurrency , 2001, TACS.

[11]  Dov M. Gabbay,et al.  Chapter 13 – Labelled Deductive Systems , 2003 .

[12]  Dov M. Gabbay,et al.  Labelled Deductive Systems: Volume 1 , 1996 .

[13]  Christian G. Fermüller,et al.  Labeled Calculi and Finite-Valued Logics , 1998, Stud Logica.

[14]  Patrick Blackburn,et al.  Internalizing labelled deduction , 2000, J. Log. Comput..

[15]  Viorica Sofronie-Stokkermans.  Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II , 2000, Stud Logica.

[16]  Luca Viganò,et al.  Fibring Labelled Deduction Systems , 2002, J. Log. Comput..

[17]  L. Bolc,et al.  Many-Valued Logics , 1992 .

[18]  Dov M. Gabbay,et al.  Labelled deduction , 2000 .

[19]  Dov M. Gabbay,et al.  Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics , 1996, Journal of Symbolic Logic.

[20]  Viorica Sofronie-Stokkermans,et al.  Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I , 2000, Stud Logica.

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

[22]  S. Gottwald.  A Treatise on Many-Valued Logics , 2001 .

[23]  David J. Pym,et al.  Resource Tableaux , 2002, CSL.

[24]  Cristina Sernadas,et al.  Fibring of Logics as a Categorial Construction , 1999, J. Log. Comput..

[25]  Luca Viganò,et al.  Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity , 2004, Log. J. IGPL.

[26]  Luca Viganò,et al.  Labelled Deduction over Algebras of Truth-Values , 2002, FroCoS.

[27]  Dov M. Gabbay,et al.  A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics , 1994, Journal of Automated Reasoning.

[28]  Maarten Marx,et al.  Hybrid logics: characterization, interpolation and complexity , 2001, Journal of Symbolic Logic.

[29]  Cristina Sernadas,et al.  Modulated Fibring and The Collapsing Problem , 2002, J. Symb. Log..

[30]  Walter Alexandre Carnielli,et al.  Systematization of finite many-valued logics through the method of tableaux , 1987, Journal of Symbolic Logic.

[31]  Luca Viganò,et al.  Natural Deduction for Non-Classical Logics , 1998, Stud Logica.