Many-Valued logics and translations

Artículos de revistas

Fecha

1999-12-01

Registro en:

Journal of Applied Non-Classical Logics, v. 9, n. 1, p. 121-140, 1999.

1166-3081

1958-5780

http://hdl.handle.net/11449/219319

10.1080/11663081.1999.10510960

2-s2.0-0347701725

https://repositorioslatinoamericanos.uchile.cl/handle/2250/5399448

Autor

History of Science

Universidade Estadual de Campinas (UNICAMP)

Universidade Estadual Paulista (UNESP)

Institución

Universidade Estadual Paulista (Brasil)

Resumen

This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz.

Materias

Algebraic semantics

Conservative translations

Lukasiewicz logics and algebras

Many-valued logics

Post logics and algebras

Translations

Mostrar el registro completo del ítem