scientific article; zbMATH DE number 7084071

MaRDI QIDQ5225607zbMATH OpenFDO

Authors Sinem Tarsuslu (Yilmaz), Gokhan Cuvalcioglu

Publication date 22 July 2019

Full work available at URL http://www.jhs-uma.com/index.php/JHSMS/article/view/309/106

zbMATH Keywords

co-Heyting valued algebraHeyting valued algebraintuitionistic logicomega algebra

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• ^*-continuous Kleene -algebras
• Intuitionistic theory of algebraic systems and the Heyting-valued analysis
• On the Heyting algebra objects in a topos
• Heyting* algebras, topological Boolean algebras and P.O. systems
• scientific article; zbMATH DE number 3845809
• Injectivity in the Topos of Complete Heyting Algebra Valued Sets
• scientific article; zbMATH DE number 702951
• E-theory with *-homomorphisms
• -algebras
• \(\sigma\)-homomorphisms from the Borel \(\sigma\)-algebra into the Loeb \(\sigma\)-algebra

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5225607)