A Kripke Semantics for Intuitionistic Łukasiewicz Logic with Weak Excluded Middle.

Andrew Lewis-Smith, Zhiguang Zhao

Browse the full JELIA paper archive.