scientific article; zbMATH DE number 2095638
From MaRDI portal
Publication:4809712
zbMath1043.03506MaRDI QIDQ4809712
Publication date: 30 August 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Temporal logic (03B44) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)
This page was built for publication:
