Lógica matemáticaLógica algebraicaLógica difusaProbabilidadesBoole, Álgebra deCálculo de predicadosAxiomasLenguajes formalesAnálisis combinatorioMatemáticasÁlgebra abstractaSemántica (Filosofía)Categorías (Matemáticas)SilogismoLógica simbólicaLógica simbólica y matemáticaLógica formal