scientific article; zbMATH DE number 1989651

zbMath1031.03042MaRDI QIDQ4430398

Marcelo Finger

Publication date: 9 October 2003

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

zbMATH Keywords

possible worlds semanticsalgorithmic methodcategorial correspondence theorysequent over ternary framesSLaKE-tableau

Mathematics Subject Classification ID

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

This page was built for publication: