scientific article

From MaRDI portal

Publication:3567763

Jump to:navigation, search

zbMath1195.03026MaRDI QIDQ3567763

Dmitry Zaitsev

Publication date: 17 June 2010

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

zbMATH Keywords

informational semantics relevant entailment approximation lattice bilattice FOUR true entailment

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

This page was built for publication:

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