The following pages link to The system LD (Q5813907):
Displaying 6 items.
- Normalization and excluded middle. I (Q583185) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Lash 1.0 (system description) (Q2104521) (← links)
- On Universal Character of the Primitive Logic (Q5546770) (← links)
- A Remark on the Intersection of Tow Logics (Q5599784) (← links)
- A generalization of Curry's theorem (Q5601457) (← links)