域在有限并下不封闭时的累积性
逻辑
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}
}