A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
-

doi
#
Article type
Journal
https://people.iut.ac.ir/en/aghaei/content/1638453