scientific article

zbMATH Open1174.03303MaRDI QIDQ3609632

Wenlong Nie

Publication date: 6 March 2009

Title of this publication is not available (Why is that?)

zbMATH Keywords

Lambek calculuscategorial grammarnominalization

Mathematics Subject Classification ID

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

Related Items (1)

Nominal equational logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The Lambek calculus extended with intuitionistic propositional logic 👍 👎
• Nominal logic, a first order theory of names and binding 👍 👎
• Nominal equational logic 👍 👎
• Extensional Logic of Hyperintensions 👍 👎
• A Nominal Axiomatization of the Lambda Calculus 👍 👎
• The Semantics of Nominal Logic Programs 👍 👎
• Foundations of Software Science and Computational Structures 👍 👎
• A simple sequent calculus for nominal logic 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3609632)