Fibring labelled deduction systems

Journal of Logic and Computation

Volumn 12, Issue 3, 2002, Pages 443-473

  Rasga, João ^a   Sernadas, Amílcar ^a   Sernadas, Cristina ^a   Viganò, Luca ^b  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

^b UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Category theory; Fibring of logics; General semantics; Labelled deduction systems; Natural deduction

Indexed keywords

FORMAL LANGUAGES; PROBLEM SOLVING; SEMANTICS; SYSTEM THEORY;

CATEGORY THEORY; FIBRING; INFERENCE RULES; LABELLED DEDUCTION SYSTEMS;

FORMAL LOGIC;

EID: 0036608983     PISSN: 0955792X     EISSN: None     Source Type: Journal    
DOI: 10.1093/logcom/12.3.443     Document Type: Article

References (29)

1. Labelled propositional modal logics: Theory and practice
2. Natural deduction for non-classical logics
3. Fibring semantic tableaux
4. Discipline as logic: Treating labels as first class citizens
5. Why combine logics?
6. A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics
7. Fibred tableaux for multi-implication logics
8. Tableau methods for substructural logics
9. Grafting modalities onto substructural implication systems
10. Partial gaggles applied to logics with restricted structural rules
11. Fibred semantics and the weaving of logics: Part 1
12. An overview of fibred semantics and the combination of logics
13. Tableau methods for modal and temporal logics
14. Fibred modal tableaux
15. Boolean algebras with operators
16. Translation methods for non-classical logics: An overview
17. Basic logic: Reflection, symmetry, visibility
18. Fibring of logics as a categorial construction
19. Categorial fibring of logics with terms and binding operators
20. Fibring: Completeness preservation