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 this page instead for the normal view: Finite RDP-algebras: duality, coproducts and logic |
scientific article; zbMATH DE number 6048163
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
