scientific article; zbMATH DE number 1354101

From MaRDI portal

Publication:4268410

Jump to:navigation, search

zbMath0926.03025MaRDI QIDQ4268410

E. A. Sidorenko

Publication date: 28 October 1999

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

zbMATH Keywords

deduction theorem normalized inference

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:4268410&oldid=18180764"