Switch to: References

Add citations

You must login to add citations.
  1. Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.
    Logics that do not have a deduction-detachment theorem (briefly, a DDT) may still possess a contextual DDT —a syntactic notion introduced here for arbitrary deductive systems, along with a local variant. Substructural logics without sentential constants are natural witnesses to these phenomena. In the presence of a contextual DDT, we can still upgrade many weak completeness results to strong ones, e.g., the finite model property implies the strong finite model property. It turns out that a finitary system has a contextual (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.
    We show the admissibility for BCI of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from →β to α. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of BCI.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Replacement in Logic.Lloyd Humberstone - 2013 - Journal of Philosophical Logic 42 (1):49-89.
    We study a range of issues connected with the idea of replacing one formula by another in a fixed context. The replacement core of a consequence relation ⊢ is the relation holding between a set of formulas {A1,..., Am,...} and a formula B when for every context C, we have C,..., C,... ⊢ C. Section 1 looks at some differences between which inferences are lost on passing to the replacement cores of the classical and intuitionistic consequence relations. For example, we (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logical Friendliness and Sympathy in Logic.David C. Makinson - 2005 - In J. Y. Beziau (ed.), Logica Universalis. Birkhäuser Verlog. pp. 191--205.
    Defines and examines a notion of logical friendliness, a broadening of the familiar notion of classical consequence. Also reviews familiar notions and operations with which friendliness makes contact, providing a new light in which they may be seen.
    Download  
     
    Export citation  
     
    Bookmark  
  • Pseudo-BCI-logic.Grzegorz Dymek & Anna Kozanecka-Dymek - 2013 - Bulletin of the Section of Logic 42 (1/2):33-41.
    Download  
     
    Export citation  
     
    Bookmark