I3-∇ algebras
In this note we present an algebraic study of a fragment of the three-valued propositional calculus of Lukasiewicz, that is, we study from an algebraic standpoint the three-valued calculus where the characteristic matrix is given by the chain T = {0,1/2,1} and the connectives → (Lukasiewicz implica...
- Autores:
-
Figallo, Aldo V.
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 1983
- Institución:
- Universidad Nacional de Colombia
- Repositorio:
- Universidad Nacional de Colombia
- Idioma:
- spa
- OAI Identifier:
- oai:repositorio.unal.edu.co:unal/42838
- Acceso en línea:
- https://repositorio.unal.edu.co/handle/unal/42838
http://bdigital.unal.edu.co/32935/
- Palabra clave:
- Algebraic study
calculus of Lukasiewicz
- Rights
- openAccess
- License
- Atribución-NoComercial 4.0 Internacional
| Summary: | In this note we present an algebraic study of a fragment of the three-valued propositional calculus of Lukasiewicz, that is, we study from an algebraic standpoint the three-valued calculus where the characteristic matrix is given by the chain T = {0,1/2,1} and the connectives → (Lukasiewicz implication) and ∇ (possibility operator are given by the tables: |
|---|