An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
The interpretation of propositions in Łukasiewicz's infinite-valued calculus as answers in Ulam's game with lies-the Boolean case corresponding to the traditional Twenty Questions game-gives added interest to the completeness theorem. The literature contains several different proofs, but t...
Guardado en:
| Autores principales: | Cignoli, R., Mundici, D. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00393215_v58_n1_p79_Cignoli |
| Aporte de: |
Ejemplares similares
-
An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
Publicado: (1997) -
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
por: Cignoli, R., et al. -
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
Publicado: (2003) -
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
Publicado: (2017) -
An Alternative Definition of Quantifiers on Four-Valued Łukasiewicz Algebras
por: González, L.J., et al.