Boolean Dependence Logic and Partially-Ordered Connectives.
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Browse the full WoLLIC paper archive.
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Browse the full WoLLIC paper archive.