You're searching for information on "Semantics Archive". You can install this search engine on Firefox and Chrome.
Category: Classical Logic
Article by C.-H. Luke Ong presenting the semantics of classical proof theory from three perspectives: a formulae-as-types characterisation in a variant of Parigot's lambda-mu calculus, a denotational characterisation in game semantics, and a categorical semantics as a fibred CCC.
Category: Inferential Role Semantics
Article by Gilbert Harman defending a variety of inferential role semantics in which the primary use of concepts lies in their use in `calculation'.
Archive of workshop proceedings at ACM Digital Library Portal.