BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/296/25-October-2002-Utrecht-Münster-Seminar-on-Pr
ovability-Algebras
DTSTAMP:20021011T000000
SUMMARY:Utrecht-Münster Seminar on Provability Alg
ebras
DTSTART;VALUE=DATE:20021025
DTEND;VALUE=DATE:20021025
LOCATION:Utrecht
DESCRIPTION:In 2002/2003 a joint Compact Seminar o
n Provability Algebras is organized by L. Beklemis
hev and W. Pohlers. Altogether, four sessions, alt
ernating in Utrecht (Department of Philosophy) and
in Münster (Institute for Mathematical Logic and
Foundations Research), will take place. Graded p
rovability algebras (GPA) are modal algebras devel
oped to provide an abstract algebraic approach to
proof-theoretic analysis. This subject brings toge
ther traditional methods of proof theory and metho
ds developed in provability logic. For more inf
ormation, see here, or contact Lev Beklimishev at
lev at phil.uu.nl.
X-ALT-DESC;FMTTYPE=text/html:\n In 2002/20
03 a joint Compact Seminar on Provability Algebras
is\n organized by L. Beklemishev and W. Po
hlers.\n Altogether, four sessions, alterna
ting in Utrecht (Department of\n Philosophy
) \n and in Münster (Institute for Mat
hematical Logic and Foundations \n Resear
ch), will take place.\n

\n Graded
provability algebras (GPA) are modal algebras dev
eloped to\n provide an abstract algebraic a
pproach to\n proof-theoretic analysis. This
subject brings together\n traditional meth
ods of proof theory and methods developed in prova
bility\n logic.\n

\n \n \n For more information, see here, or contact\n
Lev Beklimishev at lev at phil.uu.nl.\n

\
n
URL:/NewsandEvents/Events/Upcoming-Events/newsitem
/296/25-October-2002-Utrecht-Münster-Seminar-on-Pr
ovability-Algebras
END:VEVENT
END:VCALENDAR