Krysia Broda, Dov Gabbay  Home/Search
Context
Related
| doc.ic.ac.uk/~kb/papers/finalrep.ps theory.doc.ic.ac.uk/~kb/p...finalrep.ps 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: doc.ic.ac.uk/~kb/ (more) From: theory.doc.ic.ac.uk/~kb/index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report describes the research results obtained during the EPSRC project GR/J14745, giving firstly a summary of the results, with respect to the objectives given in the Research Grant Report and a brief introduction of the project's research field (in Section 1.2) (Update)
Similar documents (at the sentence level):
8.1%: Grafting Modalities onto substructural implication systems - D'Agostino, Gabbay, Russo (1996) (Correct)
7.2%: A Generalization of Analytic Deduction via Labelled.. - D'Agostino, Gabbay (1995) (Correct)
Active bibliography (related documents): More All
0.6: Fibring Labelled Deduction Systems - Rasga, Sernadas, Sernadas (2000) (Correct)
0.5: Labelled Natural Deduction for Substructural Logics - Broda, Finger, Russo (1997) (Correct)
0.5: A Unified Compilation Style Labelled Deductive System for.. - Broda, Russo (1997) (Correct)
Similar documents based on text: More All
0.5: Information Frames, Implication Systems and Modalities - D'Agostino, Gabbay, Russo (1996) (Correct)
0.4: Fibred Tableaux for Multi-Implication Logics - D'Agostino, Gabbay (1996) (Correct)
0.4: Fibred Modal Tableaux - Gabbay, Governatori (2000) (Correct)
BibTeX entry: (Update)
@misc{ broda-algorithmic,
author = "Krysia Broda and Dov Gabbay",
title = "Algorithmic Deduction based on Labelled Tableaux Project GR/J14745 - Final
Report for EPSRC",
url = "citeseer.ist.psu.edu/478550.html" }
Citations (may not include all citations):242 Proof methods for modal and intuitionistic logics (context) - Fitting - 1983
235 First-Order Logic (context) - Smullyan - 1968
42 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973 ACM
41 Journal of Logic and Computation (context) - D'Agostino, Mondadori et al. - 1994
36 Applications of linear logic to computation: An overview - Alexiev - 1994
35 Labelled deductive systems for categorial theorem proving (context) - Moortgat - 1992
33 A generalization of analytic deduction via labelled deductiv.. - D'Agostino, Gabbay - 1994
30 A historical introduction to substructural logics (context) - Dosen - 1993
23 Intuitive semantics for first-degree entailment and coupled .. (context) - Dunn - 1976
22 The Proof Theory and Semantics of Intuitionistic Modal Logic (context) - Sympson - 1993
13 Automated Theorem Proving in Non Classical Logics (context) - Thistlewaite, McRobbie et al. - 1988
11 Theorem proving and model building with the calculus ke - Pitt, Cunningham - 1996
10 Max-Planck-Institut Fur Informatik (context) - Gabbay, Systems et al. - 1994
9 Modal Logics as Labelled Deductive Systems (context) - Russo - 1996
8 Generalising propositional modal logic using labelled deduct.. (context) - Russo - 1996 DBLP
8 Grafting modalities onto substructural implication logics - D'Agostino, Gabbay et al. - 1996
6 Ke-tableaux for a fragment of linear logic (context) - Broda, Finger - 1995
6 part 1: Modal and intuitionistic logic (context) - Gabbay, the et al. - 1996
5 Lds -- natural deduction for substructural logics (context) - Broda, Finger et al. - 1996
5 Reasoned Programming (context) - Broda, Eisenbach et al. - 1994 ACM
5 LDS -- natural deduction for substructural logics (context) - Broda, Finger et al. - 1996
4 Relevant analytic tableaux (context) - McRobbie, Belnap - 1979
4 Modularity and relevant logic (context) - Garson - 1989 DBLP
4 part 2: Fibring non-monotonic logics (context) - Gabbay, the et al. - 1992
2 Fibred tableaux for multi-implication logics - D'Agostino, Gabbay - 1996
1 LInear Logic and Categorical Gramars (context) - Broda, D'Agostino et al. - 1994
1 chapter Transformation methods in LDS (context) - Broda, D'Agostino et al. - 1996
1 A computational kripke semantics for multiplicative proposit.. (context) - Broda, Finger
1 Distributed modal theorem proving with the system ke (context) - Pitt, Cunningham - 1996
1 Linear diophantine equations (context) - Finger
1 A translation approach to intuitionistic logic (context) - Broda, Fleuriot - 1996
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