A New Normalization Strategy for the Implicational Fragment of Classical Propositional Logic
Luiz C. Pereira, Edward H. Haeusler, Vaston G. Costa, Wagner SanzVolume:
96
Language:
english
Pages:
14
DOI:
10.1007/s11225-010-9275-1
Date:
October, 2010
File:
PDF, 184 KB
english, 2010