Correction to “Some Remarks on Heyting Matrices”
From MaRDI portal
Publication:3765773
DOI10.1002/malq.19880340313zbMath0629.03041OpenAlexW2007258800MaRDI QIDQ3765773
Publication date: 1988
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19880340313
Logical aspects of lattices and related structures (03G10) Subsystems of classical logic (including intuitionistic logic) (03B20)