scientific article; zbMATH DE number 1421191

zbMATH Open0960.03023MaRDI QIDQ4946220

Johan van Benthem

Publication date: 4 September 2000

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

zbMATH Keywords

Kripke modelslambda calculustype theorylabelled deductioncategorial calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)

Related Items (4)

ILF-SETHEO ⋮ Title not available (Why is that?) ⋮ Compositionality in context ⋮ Unnatural language processing. An empirical study of multimodal proof styles

Recommendations

• Language and proof theory. Preface to the special issue on ``Proof theory and natural language 👍 👎
• Special issue on proof theory and natural language 👍 👎
• Proof Assistants for Natural Language Semantics 👍 👎
• Proof-Theoretic Semantics for a Natural Language Fragment 👍 👎
• Labelled proof nets for the syntax and semantics of natural languages 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎

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 Q4946220)