Sciweavers

70
Voted
APAL
2010

Admissible rules in the implication-negation fragment of intuitionistic logic

14 years 9 months ago
Admissible rules in the implication-negation fragment of intuitionistic logic
Petr Cintula, George Metcalfe
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where APAL
Authors Petr Cintula, George Metcalfe
Comments (0)