Author:
Meyer Robert K.,Michael Dunn J.
Abstract
By γ, we mean the rule, “From ├ A and ├ Ā V B, infer ├ B”.1 This rule has played an important and a controversial role in a set of relevant logics free of certain well-known paradoxes of implication, like AĀ-→B and A-→(B-→B). Among these logics we count the pioneering systems of strenge Implikation presented by Ackermann in [1],2 as well as the Anderson-Belnap systems E of entail-ment and R of relevant implication.3
Publisher
Cambridge University Press (CUP)
Reference18 articles.
1. Topological representation of distributive lattices and Brouwerian logics;Stone;Časopis pro peštování matematiky a fysiky,1937
2. A System for Strict Implication
3. Modalities in Ackermann's “rigorous implication”;Anderson;this Journal,1959
4. Intensional models for first-degree formulas;Belnap;this Journal,1967
Cited by
56 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献