scientific article; zbMATH DE number 7084071
From MaRDI portal
Publication:5225607
zbMath1416.06003MaRDI QIDQ5225607
Gokhan Cuvalcioglu, Sinem Tarsuslu (Yilmaz)
Publication date: 22 July 2019
Full work available at URL: http://www.jhs-uma.com/index.php/JHSMS/article/view/309/106
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)