Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662953 | Journal of Applied Logic | 2014 | 13 Pages |
Abstract
We seize the opportunity of the publication of selected papers from the Logic, categories, semantics workshop to survey some current trends in logic, namely intuitionistic and linear type theories, that interweave categorical, geometrical and computational considerations. We thereafter present how these rich logical frameworks can model the way language conveys meaning.
Keywords
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Jean Gillibert, Christian Retoré,