scientific article; zbMATH DE number 1364528

zbMath0927.06003MaRDI QIDQ4701055

Bohumil František Šmarda

Publication date: 18 November 1999

Full work available at URL: https://eudml.org/doc/23792

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

zbMATH Keywords

complete latticeslinear logicinversionpolarityquantale

Mathematics Subject Classification ID

Complete lattices, completions (06B23) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantales (06F07)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: