Complete and atomic algebras of the infinite valued Łukasiewicz logic
The infinite-valued logic of Łukasiewicz was originally defined by means of an infinite-valued matrix. Łukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this...
| Publicado: |
1991
|
|---|---|
| Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00393215_v50_n3-4_p375_Cignoli http://hdl.handle.net/20.500.12110/paper_00393215_v50_n3-4_p375_Cignoli |
| Aporte de: |
Ejemplares similares
-
Complete and atomic algebras of the infinite valued Łukasiewicz logic
por: Cignoli, R. -
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
Publicado: (2003) -
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
por: Cignoli, R., et al. -
An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
Publicado: (1997) -
An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
por: Cignoli, R., et al.