Marcello D'Agostino, Dov M. Gabbay  Home/Search
Context Related
| unife.it/dgm/generalization1.ps.gz unife.it/dgm/gener1.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dns.unife.it/dgm/ (more) From: unife.it/dgm/ Homepages: M.D'Agostino |
Rate this article:      (best)Comment on this article |
Abstract: In this series of papers we set out to generalize the notion of classical analytic deduction (i.e. deduction via elimination rules) by combining the methodology of Labelled Deductive Systems [Gab94] with the classical system KE [DM94]. LDS is a unifying framework for the study of logics and of their interactions. In the LDS approach the basic units of logical derivation are not just formulae but labelled formulae, where the labels belong to a given "labelling algebra". The derivation rules act... (Update)
Context of citations to this paper: More
.... and natural way as Gentzen style deduction systems, such as natural deduction, sequent or tableaux systems; see, for instance, [2, 3, 8, 9, 11, 16, 21]. It has been applied, for example, to formalize and reason about dynamic state oriented properties, such as knowledge,...
.... previously combined with tableau methods or analytic systems in order to obtain such a framework for a wide range of substructural logics [4, 6]. According to this approach, we deal with labelled formulae, the labels being used 1 to incorporate information such as semantics into...
Cited by: More
Labelled Deduction Over Algebras of Truth-Values - Rasga, Sernadas, Sernadas.. (2002) (Correct)
Algorithmic Deduction based on Labelled Tableaux Project.. - Broda, Gabbay (Correct)
Proof-search and countermodel generation in propositional BI.. - Galmiche, Méry (2001) (Correct)
Active bibliography (related documents): More All
1.5: Transformation Methods in LDS - Broda, D'Agostino, Russo (1997) (Correct)
0.8: Grafting Modalities onto substructural implication systems - D'Agostino, Gabbay, Russo (1996) (Correct)
0.6: Relevant and Substructural Logics - Restall (2001) (Correct)
Similar documents based on text: More All
0.4: Fibred Modal Tableaux - Gabbay, Governatori (2000) (Correct)
0.2: A Proof Search System for a Modal Substructural Logic Based on.. - Hiu Fai (Correct)
0.2: Labelled Tableau Calculi Generating Simple Models for.. - Terui (1999) (Correct)
Related documents from co-citation: More All
14: Theoretical Computer Science (context) - Girard - 1987
14: Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
10: Labelled deductive systems (context) - Gabbay - 1991
BibTeX entry: (Update)
M D'Agostino and D Gabbay. A generalization of analytic deduction via labelled deductive systems. part i: Basic substructural logics. Journal of Automated Reasoning, 13:243--281, 1994. http://citeseer.ist.psu.edu/2522.html More
@misc{ d'agostino94generalization,
author = "M. D'Agostino and D. Gabbay",
title = "A generalization of analytic deduction via labelled deductive systems",
text = "M D'Agostino and D Gabbay. A generalization of analytic deduction via labelled
deductive systems. part i: Basic substructural logics. Journal of Automated
Reasoning, 13:243--281, 1994.",
year = "1994",
url = "citeseer.ist.psu.edu/2522.html" }
Citations (may not include all citations):242 Proof Methods for Modal and Intuitionistic Logics (context) - Fitting - 1983
150 Entailment: the Logic of Relevance and Necessity (context) - Anderson, Jr - 1975
97 Automated Deduction in Non-Classical Logics (context) - Wallen - 1990
79 Simple consequence relations - Avron - 1991
54 Phase semantics and sequent calculus for pure noncommutative.. (context) - Abrusci - 1991
41 Journal of Logic and Computation (context) - D'Agostino, Mondadori et al. - 1994
35 Labelled deductive systems for categorial theorem proving (context) - Moortgat - 1992
35 Automated Deduction in Multiple-Valued Logics (context) - Hahnle - 1994
33 Are tableaux an improvement on truth-tables (context) - D'Agostino - 1992
28 The semantics and proof theory of linear logic - Avron - 1988
28 Semantics for relevant logic (context) - Urquhart - 1972
26 The even more liberalized ffi-rule in free-variable semantic.. (context) - Beckert, Hahnle et al. - 1993
23 Intuitive semantics for first-degree entailment and coupled .. (context) - Dunn - 1976
23 The semantics of entailment (context) - Routley, Meyer - 1973
21 Quantales and their applications (context) - Kimmo - 1990
20 Kripke models for linear logic (context) - Allwein, Dunn - 1993
20 Semantics for substructural logics (context) - Ono - 1993
13 Automated Theorem Proving in Non Classical Logics (context) - Thistlewaite, McRobbie et al. - 1988
10 The semantics of first degree entailment (context) - Routley - 1972
10 Max-Planck-Institut Fur Informatik (context) - Gabbay, Systems et al. - 1994
9 Sequent systems and groupoid models (context) - Dosen - 1988
7 Fibred semantics and the weaving of logics (context) - Gabbay - 1993
6 General theory of structured consequence relations (context) - Gabbay - 1993
6 The semantics of pretopologies (context) - Sambin - 1993
4 Sequent systems and groupoid models II (context) - Dosen - 1989
4 Relevant analytic tableaux (context) - McRobbie, Belnap - 1979
3 Classical versus non-classical logics (context) - Gabbay - 1993
2 An algebraic fine structure for logical systems (context) - Gabbay, Ohlbach - 1993
1 Invertible sequent variant of constructive predicate calculu.. (context) - Yu - 1969
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://dns.unife.it/dgm/): More
The Taming of the Cut. Classical Refutations with Analytic Cut - D'Agostino, Mondadori (1994) (Correct)
Grafting Modalities onto substructural implication systems - D'Agostino, Gabbay, Russo (1996) (Correct)
A Solution To A Problem Of Popper - Broda, D'Agostino, Mondadori (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC