pith. sign in

arxiv: 1505.07508 · v1 · pith:UBXZOV5Enew · submitted 2015-05-27 · 💻 cs.LO · math.CO· math.LO

Valuations in Nilpotent Minimum Logic

classification 💻 cs.LO math.COmath.LO
keywords characteristiceulerlogicvaluationminimumnilpotentalgebraicalgebras
0
0 comments X
read the original abstract

The Euler characteristic can be defined as a special kind of valuation on finite distributive lattices. This work begins with some brief consideration on the role of the Euler characteristic on NM algebras, the algebraic counterpart of Nilpotent Minimum logic. Then, we introduce a new valuation, a modified version of the Euler characteristic we call idempotent Euler characteristic. We show that the new valuation encodes information about the formul{\ae} in NM propositional logic.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.