scientific article; zbMATH DE number 6399907
From MaRDI portal
Publication:5498681
zbMath1367.03003MaRDI QIDQ5498681
Publication date: 10 February 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items (5)
Sheaves of structures, Heyting‐valued structures, and a generalization of Łoś's theorem ⋮ Radical theory of Scott-open filters ⋮ Maximal elements with minimal logic ⋮ Unnamed Item ⋮ Ordering groups constructively
This page was built for publication:
