ScholarLink (思领科)
错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

On undecidability of the propositional logic of an associative binary modality

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2024年4月29日

查看全文
  • Michael Kaminski

摘要

It is shown that both classical and intuitionistic propositional logics of an associative binary modality are undecidable. The proof is based on the deduction theorem for these logics.