Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
Using the theory of BL-algebras, it is shown that a prepositional formula φ is derivable in Łukasiewicz infinite valued Logic if and only if its double negation ∼∼ φ is derivable in Hájek Basic Fuzzy logic. If SBL is the extension of Basic Logic by the axiom (φ & (φ ⇒ ∼ φ)) ⇒ ψ, then φ is deriva...
Guardado en:
| Autores principales: | Cignoli, R., Torrens, A. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09335846_v42_n4_p361_Cignoli |
| Aporte de: |
Ejemplares similares
-
Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
Publicado: (2003) -
An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
por: Cignoli, R., et al. -
An elementary proof of chang's completeness theorem for the infinite-valued calculus of Łukasiewicz
Publicado: (1997) -
Fuzzy propositional logic associated with quantum computational gates
Publicado: (2006) -
Fuzzy propositional logic associated with quantum computational gates
por: Domenech, G., et al.