Order:
Disambiguations
Krysia Broda [8]K. Broda [1]
  1.  7
    Labelled Natural Deduction for Conditional Logics of Normality.Krysia Broda, Dov Gabbay, Luís Lamb & Alessandra Russo - 2002 - Logic Journal of the IGPL 10 (2):123-163.
    We propose a family of Labelled Deductive Conditional Logic systems by defining a Labelled Deductive formalisation for the propositional conditional logics of normality proposed by Boutilier and Lamarre. By making use of the Compilation approach to Labelled Deductive Systems we define natural deduction rules for conditional logics and prove that our formalisation is a generalisation of the conditional logics of normality.
    Direct download  
     
    Export citation  
     
    Bookmark  
  2.  14
    Labelled Natural Deduction for Substructural Logics.K. Broda, M. Finger & A. Russo - 1999 - Logic Journal of the IGPL 7 (3):283-318.
    In this paper a uniform methodology to perform natural\ndeduction over the family of linear, relevance and intuitionistic\nlogics is proposed. The methodology follows the Labelled\nDeductive Systems (LDS) discipline, where the deductive process\nmanipulates {\em declarative units} -- formulas {\em labelled}\naccording to a {\em labelling algebra}. In the system described\nhere, labels are either ground terms or variables of a given {\em\nlabelling language} and inference rules manipulate formulas and\nlabels simultaneously, generating (whenever necessary)\nconstraints on the labels used in the rules. A set of natural\ndeduction style (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    Editorial.Krysia Broda, Marcello D'agostino, Rajeev Gore, Rob Johnson & Steve Reeves - 1995 - Logic Journal of the IGPL 3 (6):826-826.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  11
    Review of P. Blackburn, J. Bos, and K. Striegnitz, Learn Prolog Now![REVIEW]Krysia Broda - 2008 - Journal of Logic, Language and Information 17 (2).
  5.  11
    Compiled Labelled Deductive Systems a Uniform Presentation of Non-Classical Logics.Krysia Broda, Dov Gabbay, Luis Lamb & Alessandra Russo - 2004 - Hertfordshire: Institute of Physics/Research Studies Press.
    K. Broda, Dov M. Gabbay, Alessandra Russo (all computing or computer science, Imperial College, London) and LuÍs C. Lamb (Informatics, UFRGS, Brazil) argue that though the many families of logic may seem to differ in their logical nature, it is possible to provide them with a unifying logical framework whenever their semantics is axiomatizable in first-order logic. They provide such a framework based on the labeled deductive system methodology, and demonstrate how it works in such families as normal modal logics, (...)
    Direct download  
     
    Export citation  
     
    Bookmark