Decidability problem for finite Heyting algebras

From MaRDI portal
Publication:3815356

DOI10.2307/2274568zbMath0664.06008OpenAlexW2117196124MaRDI QIDQ3815356

Katarzyna Idziak, Paweł M. Idziak

Publication date: 1988

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274568




Related Items (10)




Cites Work




This page was built for publication: Decidability problem for finite Heyting algebras