I3-∇ algebras
Keywords:
Algebraic study, calculus of Lukasiewicz (es)Downloads
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:
How to Cite
APA
ACM
ACS
ABNT
Chicago
Harvard
IEEE
MLA
Turabian
Vancouver
Download Citation
Article abstract page views
Downloads
License
Copyright (c) 1983 Revista Colombiana de Matemáticas
This work is licensed under a Creative Commons Attribution 4.0 International License.