Lógica doble LD y gráficos existenciales gamma-LD

En este trabajo se presenta el sistema deductivo para la lógica proposicional doble (LD) y los gráficos existenciales gamma-LD. Se prueba, de manera rigurosa, consistencia LD que teoremas corresponden, exactamente, con válidos Cuando restringe lenguaje al clásica (LC), restricción asociada a gamma-LD coincide del alfa Charles Sanders Peirce. Resulta intuicionista (LI) son LD; además, cuando LI, Arnold Oostra. Como consecuencia, infiere tiene como casos particulares LC LI. Finalmente, en derivan las definiciones aristotélicas verdad falsedad, cuales, ilustra capacidad solucionar una versión paradoja mentiroso, donde LI fracasan.