Lógica trivalente de Łukasiewicz
Łukasiewicz's three-valued logic
- Fecha
- 1920 · fiabilidad alta
- Lugar
- Varsovia, Mazovia, Polonia
- Autoría
- Jan Łukasiewicz
- Ámbito
- Saber y símbolos
⚠️ Dato en discusión: las fuentes no coinciden.
Qué se descubrió
Sistema lógico que añade a lo verdadero y lo falso un tercer valor, «posible», para tratar los enunciados sobre el futuro contingente. Es la primera lógica multivaluada formalizada.
Emil Post desarrolló lógicas multivaluadas casi a la vez (1921). Łukasiewicz fue también el creador de la notación polaca, de la que la RPN es la variante inversa.
A qué dio paso
- lógicas multivaluadas y lógica difusa
- lógicas de Gödel, Kleene y Post
- notación polaca sin paréntesis (1924)