2020-07-3020030120-341Xhttp://hdl.handle.net/10784/17229El forzamiento semántico de marcas para el sistema de Lógica Básica Paraconsistente, LBPc, se obtiene a partir del forzamiento semántico de marcas clásico agregando un nuevo operador llamado negación débil, las reglas de inferencia para esta negación indican que la negación débil se sigue de la negación usual, pero sólo en casos particulares vale la reciproca. El sistema resultante soporta contradicciones débiles, es decir, sirve de base para el estudio de teorías inconsistentes pero no triviales.application/pdfspaCopyright © 2003 Manuel Sierra Aristizábalarticleinfo:eu-repo/semantics/openAccessLógica paraconsistenteNegación débilSemánticaContradicciónTeoría trivialAcceso abierto2020-07-30Sierra Aristizábal, Manuel