Inferencia visual para los sistemas deductivos LBPco, LBPc y LBPo
Manuel Sierra Aristizábal
La Negación Clásica prohibe la compatibilidad de un enunciado con su negación y las indeterminaciones respecto a la negación. El sistema presentado en este trabajo, es una generalización de la Lógica Clásica. En él se tiene un operador Ilamado Negación Débil, el cual tiene la característica de no prohibir la compatibilidad de un enunciado con su negación ni las indeterminaciones respecto a la negación.
Կատեգորիաներ:
Տարի:
2002
Հրատարակում:
1
Հրատարակչություն:
Universidad EAFIT
Լեզու:
spanish
Էջեր:
76
Սերիաներ:
Reporte técnico parcial
Ֆայլ:
PDF, 776 KB
IPFS:
,
spanish, 2002