El retículo de las lógicas de primer orden con cuantificadores cardinales

Atribución-NoComercial 4.0 InternacionalCorredor, Luis Jaime2019-06-292019-06-291986https://repositorio.unal.edu.co/handle/unal/48826Associate to every class S of cardinals a quantifier QS so that QSxapplication/pdfspaDerechos reservados - Universidad Nacional de Colombiahttp://creativecommons.org/licenses/by-nc/4.0/El retículo de las lógicas de primer orden con cuantificadores cardinalesArtículo de revistahttp://bdigital.unal.edu.co/42283/info:eu-repo/semantics/openAccessLogiccardinal characterization Boolean / Lógicacardinalescaracterización booleana