泛在量词的代数模型
逻辑
2016-03-25 v1
摘要
本文旨在深化模逻辑方面的量化概念。为此，它探讨了似真调制逻辑，该逻辑试图形式化泛在量词。文章介绍了Paul Halmos提出的在代数模型中解释经典量词的方案，并作为原创贡献，将该模型扩展为泛在量词的代数模型。
引用
@article{arxiv.1603.07607,
title = {Um modelo alg\'ebrico do quantificador da Ubiquidade},
author = {Tiago Augusto dos Santos Boza and Hércules de Araujo Feitosa},
journal= {arXiv preprint arXiv:1603.07607},
year = {2016}
}
备注
in Portuguese