Working in a semi-constructive logical system that supports the extracti...
Infinite Gray code has been introduced by Tsuiki <cit.> as a
redundancy-...
We present a logical system CFP (Concurrent Fixed Point Logic) from whos...
We study the system IFP of intuitionistic fixed point logic, an extensio...