Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

11 April 2018, Algebra|Coalgebra Seminar, Esther Boerboom and Noor Heerkens

Speaker: Esther Boerboom and Noor Heerkens (ILLC)
Title: Classical equivalents of intuitionistic implication
Date: Wednesday 11 April 2018
Time: 16:00-17:00
Location: Room F1.15, ILLC, Science Park 107, Amsterdam

The objective of our study was to find suitable classical equivalents of intuitionistic implication. Since the formula “p implies q” has infinitely many classical equivalents 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 features of the candidates in these fragments, such as reflexivity and transitivity. Additionally we examined if the formulas are weaker or stronger than intuitionistic implication and whether they are exact.

For more information, see http://events.illc.uva.nl/alg-coalg or contact Frederik Lauridsen at .

Please note that this newsitem has been archived, and may contain outdated information or links.