I3-∇ algebras
Author
Type
Artículo de revista
Document language
EspañolPublication Date
1983Metadata
Show full item recordSummary
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:Keywords
Collections
