scientific article; zbMATH DE number 2062377

zbMath1048.03012MaRDI QIDQ4459274

Martin W. Bunder

Publication date: 28 March 2004

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

zbMATH Keywords

lambda calculusintuitionistic implicational logictype assignment systemintersection type theoryMeyer-Routley minimal relevance logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic

This page was built for publication: