A unified normal residuated based logic system and its completeness
From MaRDI portal
Publication:1769494
zbMath1059.03522MaRDI QIDQ1769494
Publication date: 21 March 2005
Published in: Southeast Asian Bulletin of Mathematics (Search for Journal in Brave)
This page was built for publication: A unified normal residuated based logic system and its completeness