Seminar series
Date
Thu, 27 Feb 2014
Time
17:15 -
18:15
Location
L6
Speaker
Kentaro Fujimoto
Organisation
Bristol
Formal truth theory sits between mathematical logic and philosophy. In this talk, I will try to give a partial overview of formal truth theory, from my particular perspective and research, in connection to some areas of mathematical logic.