Properties of implication in effect algebras (Q2054647)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Properties of implication in effect algebras |
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Properties of implication in effect algebras |
scientific article |
Statements
Properties of implication in effect algebras (English)
0 references
3 December 2021
0 references
The authors introduce and study the implication (in a wider sence) in effect algebras given for subsets \(A,B\) by \(A \to B = A' + L(A,B)\) where \(L(A,B)\) is the set of lower bounds of \(A \cup B\). They show that this implication is connected with conjuction using an unsharp residuation in the corresponding strict unsharp residuated poset. Also, they study the modus ponens rule and the contraposition law for this implication.
0 references
effect algebra
0 references
implication
0 references
strict unsharp residuated poset
0 references
deductive system
0 references
modus ponens
0 references
