DMCA

Hypersequents and the proof theory of intuitionistic fuzzy logic (2000)

by Matthias Baaz , Richard Zach
Venue:Computer Science Logic CSL’2000. Proceedings, LNCS 1862
Citations:25 - 9 self