scientific article; zbMATH DE number 5524514

MaRDI QIDQ3609632zbMATH OpenFDO

Authors Wenlong Nie

Publication date 6 March 2009

zbMATH Keywords

Lambek calculuscategorial grammarnominalization

Mathematics Subject Classification ID

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

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

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)