Searching for "On The Admissible Rules of Intuitionistic Propositional Logic." – sorted by Relevance.
-
On the Admissible Rules of Intuitionistic Propositional Logic
- On the Admissible Rules of Intuitionistic Propositional Logic Rosalie Iemhoff ILLC
- Cited by 6 (2 self) – Add To MetaCart
-
Visual programming in NUT
- of the intuitionistic propositional logic obtained from introduction and elimination rules for conjunction
- Cited by 5 (3 self) – Add To MetaCart

