Decision methods for linearly ordered Heyting algebras

From MaRDI portal
Publication:2491077

DOI10.1007/s00153-005-0321-zzbMath1093.03005OpenAlexW2006400179MaRDI QIDQ2491077

Sara Negri, Roy Dyckhoff

Publication date: 26 May 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0321-z



Related Items


Uses Software


Cites Work