Pages that link to "Item:Q5172146"

The following pages link to A cut-free sequent calculus for relevant logic RW (Q5172146):

Displaying 11 items.

• \textbf{R}-calculus without the cut rule (Q351018) (← links)
• New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
• A metacompleteness theorem for contraction-free relevant logics (Q1064316) (← links)
• Sequent calculus for classical logic probabilized (Q1712933) (← links)
• A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
• A cut-free sequent calculus for defeasible erotetic inferences (Q2278843) (← links)
• An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
• A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications (Q4934883) (← links)
• Solution to a problem of Ono and Komori (Q5903941) (← links)
• A note on an alternative Gentzenization of RW+∘ (Q6047679) (← links)
• Vetoing: social, logical and mathematical aspects (Q6608667) (← links)