Inferencia visual para las lógicas normales

Fecha

2011-01-01

Título de la revista

ISSN de la revista

Título del volumen

Editor

Editorial EAFIT

Resumen

Este texto propone un método novedoso para el cálculo proposicional clásico, partiendo de un conjunto de reglas muy sencillas, inspiradas en las tablas de verdad tradicionales pero sin lo engorroso de estas.

Descripción

Palabras clave

Citación

Colecciones