• Home
  • CLASP seminar: Zhaohui Luo – MTT-semantics Is Both Model-theoretic and Proof-theoretic

CLASP seminar: Zhaohui Luo – MTT-semantics Is Both Model-theoretic and Proof-theoretic

SEMINAR

In this talk, after briefly introducing the formal semantics in modern type theories (MTT-semantics), I shall argue that it is both model-theoretic and proof-theoretic. This is due to the unique features of MTTs: they contain rich type structures that provide powerful representational means (e.g., to represent collections as types) and, at the same time, are specified proof-theoretically as rule-based systems whose sentences (judgements) can be understood inferentially.

Considered in this way, MTTs arguably have promising advantages when employed as foundational languages for formal semantics, both theoretically and practically.

Lecturer:
Zhaohui Luo is a Professor of Computer Science at the Department of Computer Science, Royal Holloway, University of London.

Date: 2016-04-27 15:15 - 17:00

Location: T219, Olof Wijksgatan 6

Permalink

add to Outlook/iCal

To the top

Page updated: 2016-03-23 14:24

Send as email
Print page
Show as pdf

X
Loading