En una correspondencia entre dos tipos de sistemas de prueba bilaterales
Autores: Francez, Nissim
Idioma: Inglés
Editor: MDPI
Año: 2025
Acceso abierto
Artículo científico
2025
En una correspondencia entre dos tipos de sistemas de prueba bilaterales
Categoría
Matemáticas
Subcategoría
Lógica
Palabras clave
Papel
Equivalencia deductiva
Bilateral
Multilateral
Sistemas de prueba
Fórmulas firmadas
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 21
Citaciones: Sin citaciones
El documento muestra la equivalencia deductiva entre sistemas de prueba bilaterales (y multilaterales) basados en fórmulas firmadas y sistemas de prueba basados en múltiples relaciones de derivabilidad.
Descripción
El documento muestra la equivalencia deductiva entre sistemas de prueba bilaterales (y multilaterales) basados en fórmulas firmadas y sistemas de prueba basados en múltiples relaciones de derivabilidad.