scientific article; zbMATH DE number 6787709

From MaRDI portal

Publication:5365520

Jump to:navigation, search

zbMath1410.03014MaRDI QIDQ5365520

Vít Punčochář

Publication date: 6 October 2017

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic semantics distributive semilattices Kripke semantics intuitionistic logic information states

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5365520&oldid=20074034"