scientific article; zbMATH DE number 5524514

zbMATH Open1174.03303MaRDI QIDQ3609632FDOQ3609632

Authors: Wenlong Nie 

Publication date: 6 March 2009

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

Recommendations

• The Semantics of Nominal Logic Programs
• Foundations of Software Science and Computational Structures
• A Nominal Axiomatization of the Lambda Calculus
• A simple sequent calculus for nominal logic
• The Lambek calculus extended with intuitionistic propositional logic
• Nominal equational logic
• scientific article; zbMATH DE number 2242589
• Nominal logic, a first order theory of names and binding
• scientific article; zbMATH DE number 569747
• Extensional Logic of Hyperintensions

zbMATH Keywords

Lambek calculuscategorial grammarnominalization

Mathematics Subject Classification ID

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

Cited In (1)

• Nominal equational 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)