中文

域在有限并下不封闭时的累积性

逻辑 2008-08-25 v1

摘要

对于非单调逻辑,累积性是一个重要规则。我们在此表明,如果域在有限并下不封闭,累积性会发散成无穷多个不同的条件。

关键词

引用

@article{arxiv.0808.3077,
  title  = {Cumulativity without closure of the domain under finite unions},
  author = {Dov Gabbay and Karl Schlechta},
  journal= {arXiv preprint arXiv:0808.3077},
  year   = {2008}
}