Two Strong Undefinability Results in Inquisitive and Team Semantics
摘要
We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show that, in extended propositional inquisitive logic with tensor, intuitionistic implication is independent of the other connectives; 2) we show the undefinability of global disjunction in extended propositional dependence logic.