Resumen de Una posible axiomatización finita de lógica polivalente
- español
En 1976 Wronski demostró que era imposible desarrollar una axiomática finita de Lógica polivalente para 6 valores. En 1977 Urquhart demostró la misma imposibilidad para 5 valores. En este trabajo resumimos el desarrollo de una axiomática finita de Lógica polivalente para cualquier número de valores (incluso para infinitos valores), pero sobre parejas ordenadas de -fórmulas. No podemos garantizar su completitud, pero sí garantizamos una máxima aproximación a ella.
- English
In 1976 Wronski proved that it was impossible to develop a finite axiomatic of the many valued logic for 6 values. In 1977 Urquhart proved the same impossibility for 5 values. In this work we summarise the development of a finite axiomatic of the many valued logic for any number of values (even for infinite values) but about couples of formulas. We can 't guarantee it to be complete, but we can guarantee a maximum approximation to it.
