scientific article; zbMATH DE number 2236613
From MaRDI portal
Publication:5711863
zbMath1096.03012MaRDI QIDQ5711863
Mathieu Marion, Mehrnouche Sadrzadeh
Publication date: 8 December 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Game Semantics and the Manifestation Thesis ⋮ Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics ⋮ An Epistemic Separation Logic ⋮ Non-normal modalities in variants of linear logic ⋮ A public announcement separation logic
Uses Software
This page was built for publication: