The following pages link to Mirjana Ilić (Q2046879):
Displaying 9 items.
- A cut-elimination proof in positive relevant logic with necessity (Q2046880) (← links)
- An alternative normalization of the implicative fragment of classical logic (Q2352461) (← links)
- An Alternative Natural Deduction for the Intuitionistic Propositional Logic (Q2957671) (← links)
- An alternative Gentzenisation of RW+∘ (Q2958209) (← links)
- A natural deduction and its corresponding sequent calculus for positive contraction - less relevant logic (Q4609358) (← links)
- A note on the system <i>GRW</i> with the intensional contraction rule (Q5020358) (← links)
- A cut-free sequent calculus for relevant logic RW (Q5172146) (← links)
- (Q5279185) (← links)
- A note on an alternative Gentzenization of RW+∘ (Q6047679) (← links)
