The general nilpotent operator system
2015
Abstract In this paper we show that a consistent logical system generated by nilpotent operators is not necessarily isomorphic to Łukasiewicz-logic, which means that nilpotent logical systems are wider than we have thought earlier. Using more than one generator functions we examine three naturally derived negations in these systems. It is shown that the coincidence of the three negations leads back to a system which is isomorphic to Łukasiewicz-logic. Consistent nilpotent logical structures with three different negations are also provided.
Keywords:
- Correction
- Source
- Cite
- Save
- Machine Reading By IdeaReader
30
References
10
Citations
NaN
KQI