Pages that link to "Item:Q4328835"
From MaRDI portal
The following pages link to Sequent calculus in natural deduction style (Q4328835):
Displaying 10 items.
- Combinatorial analysis of proofs in projective and affine geometry (Q638479) (← links)
- Proof theory of Nelson's paraconsistent logic: a uniform perspective (Q764309) (← links)
- Varieties of linear calculi (Q1868337) (← links)
- Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
- An Alternative Natural Deduction for the Intuitionistic Propositional Logic (Q2957671) (← links)
- 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
- (Q4877107) (← links)
