Cálculos de secuentes de Gentzen sin cortes para lógicas temporales
Autores: Lin, Zhe; Ma, Minghui
Idioma: Inglés
Editor: MDPI
Año: 2023
Acceso abierto
Artículo científico
2023
Cálculos de secuentes de Gentzen sin cortes para lógicas temporales
Categoría
Matemáticas
Subcategoría
Análisis matemático
Palabras clave
Cálculo de secuentes
Lógica tensa minimal
Propiedad de visualización
Traducción de Kolmogorov
Sistemas de secuentes intermedios
Implicación estrictamente positiva
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 24
Citaciones: Sin citaciones
Se introduce el cálculo de secuentes de Gentzen sin cortes para la lógica tensa mínima.
Descripción
Se introduce el cálculo de secuentes de Gentzen sin cortes para la lógica tensa mínima.