Switch to: References

Add citations

You must login to add citations.
  1. The Context of Inference.Curtis Franks - 2018 - History and Philosophy of Logic 39 (4):365-395.
    There is an ambiguity in the concept of deductive validity that went unnoticed until the middle of the twentieth century. Sometimes an inference rule is called valid because its conclusion is a theorem whenever its premises are. But often something different is meant: The rule's conclusion follows from its premises even in the presence of other assumptions. In many logical environments, these two definitions pick out the same rules. But other environments are context-sensitive, and in these environments the second notion (...)
    Direct download (6 more)  
    Export citation  
  • Early Structural Reasoning. Gentzen 1932.Enrico Moriconi - 2015 - Review of Symbolic Logic 8 (4):662-679.