
AbstractWe introduce so-called consistent posets which are bounded posets with an antitone involution$$'$$′where the lower cones of$$x,x'$$x,x′and of$$y,y'$$y,y′coincide provided thatx, yare different from 0, 1 and, moreover, ifx, yare different from 0, then their lower cone is different from 0, too. We show that these posets can be represented by means of commutative meet-directoids with an antitone involution satisfying certain identities and implications. In the case of a finite distributive or strongly modular consistent poset, this poset can be converted into a residuated structure and hence it can serve as an algebraic semantics of a certain non-classical logic with unsharp conjunction and implication. Finally we show that the Dedekind–MacNeille completion of a consistent poset is a consistent lattice, i.e., a bounded lattice with an antitone involution satisfying the above-mentioned properties.
consistent poset, Mathematics - Logic, strongly modular poset, antitone involution, distributive poset, commutative meet-directoid, Partial orders, general, adjointness, residuation, FOS: Mathematics, Complete lattices, completions, 06A11, 06B75, 06C15, 03G25, Logic (math.LO), Dedekind-MacNeille completion, Foundations
consistent poset, Mathematics - Logic, strongly modular poset, antitone involution, distributive poset, commutative meet-directoid, Partial orders, general, adjointness, residuation, FOS: Mathematics, Complete lattices, completions, 06A11, 06B75, 06C15, 03G25, Logic (math.LO), Dedekind-MacNeille completion, Foundations
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
