BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
BEGIN:VEVENT
UID:/NewsandEvents/Events/Upcoming-Events/newsitem
/9825/11-April-2018-Algebra|Coalgebra-Seminar-Esth
er-Boerboom-and-Noor-Heerkens-
DTSTAMP:20180401T040812
SUMMARY:Algebra|Coalgebra Seminar, Esther Boerboom
and Noor Heerkens
ATTENDEE;ROLE=Speaker:Esther Boerboom and Noor Hee
rkens (ILLC)
DTSTART:20180411T160000
DTEND:20180411T170000
LOCATION:Room F1.15, ILLC, Science Park 107, Amste
rdam
DESCRIPTION:The objective of our study was to find
suitable classical equivalents of intuitionistic
implication. Since the formula “p implies q” has i
nfinitely many classical equivalents in the full f
ragment of intuitionistic propositional logic, we
restricted ourselves first of all to finite fragme
nts. In order to find the most suitable candidates
we examined important features of the candidates
in these fragments, such as reflexivity and transi
tivity. Additionally we examined if the formulas a
re weaker or stronger than intuitionistic implicat
ion and whether they are exact.
X-ALT-DESC;FMTTYPE=text/html:\n The objective
of our study was to find suitable classical equiva
lents of intuitionistic implication. Since the for
mula “p implies q” has infinitely many classical e
quivalents in the full fragment of intuitionistic
propositional logic, we restricted ourselves first
of all to finite fragments. In order to find the
most suitable candidates we examined important fea
tures of the candidates in these fragments, such a
s reflexivity and transitivity. Additionally we ex
amined if the formulas are weaker or stronger than
intuitionistic implication and whether they are e
xact.

\n
URL:http://events.illc.uva.nl/alg-coalg
CONTACT:Frederik Lauridsen at f.m.lauridsen at uva
.nl
END:VEVENT
END:VCALENDAR