scientific article; zbMATH DE number 1537947
From MaRDI portal
Publication:4518822
zbMath0974.03053MaRDI QIDQ4518822
Publication date: 5 February 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Categorical logic, topoi (03G30) Topoi (18B25) Intuitionistic mathematics (03F55)
Related Items (4)
Fuzzy topology via fuzzy geometric logic with graded consequence ⋮ Exceptional values of p-Adic Derivatives, a survey with some improvements ⋮ Ring ideals and the Stone-Čech compactification in pointfree topology ⋮ Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic
This page was built for publication: