Pay to list your site, not per click. (Just $89.00 US for life!)

    You're searching for information on "Semantics Archive". You can install this search engine on Firefox and Chrome.
    Run this search on



    A Semantic View of Classical Proofs (1996)

    Ad citeseer.ist.psu.edu

    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.

    The Formal Approach to Meaning

    Ad www.msu.edu

    Category: Semantics

    Short survey of semantics of natural language by Barbara Abbott, at University of Michigan. Focuses upon Montague semantics, and tries to give a feel for the main open problems in the field.

    The Meanings of Logical Constants

    Ad www.nyu.edu

    Category: Inferential Role Semantics

    Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon an inferential role semantics.

    What is (Nonsolipsistic) Conceptual Role Semantics?

    Ad www.nyu.edu

    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'.

    The Meanings of Logical Constants

    Ad www.nyu.edu

    Category: Semantics of Logic

    Essay by Gilbert Harman, arguing for Prawitz's approach to the semantics of logic based upon a conceptual role semantics.

    PEPM (Partial Evaluation and Semantics-Based Program Manipulation)

    Ad portal.acm.org

    Category: Conferences

    Archive of workshop proceedings at ACM Digital Library Portal.