Finite RDP-algebras: duality, coproducts and logic
type: Item
instance of: scholarly article
title: Finite RDP-algebras: duality, coproducts and logic
zbMATH Open document ID: 1248.03082
author: Simone Bova
author: Diego Valota
publication date: 2012-06-20T00:00:00Z
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 06D50
zbMATH DE Number: 6048163
zbMATH Keywords: triangular norms
zbMATH Keywords: RDP-algebras
zbMATH Keywords: finite duality
zbMATH Keywords: coproducts
zbMATH Keywords: free algebras
zbMATH Keywords: interpolation
zbMATH Keywords: unification
MaRDI profile type: Publication
OpenAlex ID: W2079799116
DOI: 10.1093/LOGCOM/EXR006
published in: Journal of Logic and Computation
review text: 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.
reviewed by: A. Borumand Saeid
description: scientific article; zbMATH DE number 6048163