| Revista: | Computación y sistemas |
| Base de datos: | |
| Número de sistema: | 000560773 |
| ISSN: | 1405-5546 |
| Autores: | Osorio, Mauricio1 Carballido, José Luis2 |
| Instituciones: | 1Universidad de las Américas, Puebla. México 2Benemérita Universidad Autónoma de Puebla, Puebla. México |
| Año: | 2023 |
| Periodo: | Ene-Mar |
| Volumen: | 27 |
| Número: | 1 |
| Paginación: | 297-302 |
| País: | México |
| Idioma: | Inglés |
| Tipo de documento: | Artículo |
| Resumen en inglés | We introduce a new 4-valued logic that we call M 4 M 4. We show that M 4 M 4 is conservative extension of the 3-valued logic G ′ 3, which serves as the formalism to define the p-stable semantics of logic programming. M 4 M 4 possesses two negation operators. The weak negation operator that corresponds to the negation operator of G ′ 3. In addition, M 4 M 4 also includes a strong negation operator that is the new feature of this logic with respect to G ′ 3. It is well known that allowing these two negations is very useful in knowledge representation. M 4 M 4 can be used as the formalism to define the p-stable semantics as well as the stable semantics. We also present other suitable properties of M 4 M 4. |
| Disciplinas: | Ciencias de la computación, Filosofía |
| Palabras clave: | Teoría de la computación, Lógica |
| Keyword: | Computer theory, Logic |
| Texto completo: | Texto completo (Ver HTML) Texto completo (Ver PDF) |
