DIL-consistency software on GitHub

Software OPEN SOURCE

Formalization of consistency of Dualized Intuitionistic Logic with respect Rauszer's extended Kripke semantics.
Share - Bookmark