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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Two Strong Undefinability Results in Inquisitive and Team Semantics

  • Fausto Barbero

摘要

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.