Switch to: References

Add citations

You must login to add citations.
  1. Eliminating Disjunctions by Disjunction Elimination.Davide Rinaldi, Peter Schuster & Daniel Wessel - 2017 - Bulletin of Symbolic Logic 23 (2):181-200.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Philosophical Accounts of First-Order Logical Truths.Constantin C. Brîncuş - forthcoming - Acta Analytica:1-15.
    Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Cut Elimination for Entailment Relations.Davide Rinaldi & Daniel Wessel - forthcoming - Archive for Mathematical Logic:1-21.
    Entailment relations, introduced by Scott in the early 1970s, provide an abstract generalisation of Gentzen’s multi-conclusion logical inference. Originally applied to the study of multi-valued logics, this notion has then found plenty of applications, ranging from computer science to abstract algebra. In particular, an entailment relation can be regarded as a constructive presentation of a distributive lattice and in this guise it has proven to be a useful tool for the constructive reformulation of several classical theorems in commutative algebra. In (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark