A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic
Mojtaba Aghaei, Mohammad ArdeshirVolume:
46
Year:
2000
Language:
english
Pages:
8
DOI:
10.1002/(sici)1521-3870(200005)46:23.0.co;2-b
File:
PDF, 175 KB
english, 2000