Finite RDP-algebras: duality, coproducts and logic (Q2893318)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6048163
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Finite RDP-algebras: duality, coproducts and logic |
scientific article; zbMATH DE number 6048163 |
Statements
Finite RDP-algebras: duality, coproducts and logic (English)
0 references
20 June 2012
0 references
triangular norms
0 references
RDP-algebras
0 references
finite duality
0 references
coproducts
0 references
free algebras
0 references
interpolation
0 references
unification
0 references
In this paper the authors prove the Priestley duality for finite RDP-algebras and investigate explicit constructions of a number of objects relevant to logical interpration of RDP-algebras: normal forms, strongest deductive interpolants and most general unifiers. Also they prove that RDP-unification is unitary.
0 references
0.8406491279602051
0 references
0.7912945747375488
0 references
0.7414827942848206
0 references
0.7377358078956604
0 references
0.7347651124000549
0 references
