14 mars 2023 Exposé ECO ESCAPE dans le cadre de l'axe
transverse "logiques" Matthias BAAZ (TU Wien) The realm of
quantifiers In this lecture we classify quantifiers
according to non-emptiness (i.e. always an object is denoted
and according to dimension. For non-empty quantifiers
Skolemization and some sort of epsilon calculus is always
possible. This is not possible for empty quantifiers however
positive results concerning eg the prenex fragment are
possible (We choose as most natural example in this respect
Gödel quantifiers.) Furthermore we classify quantifiers after
dimension and show that in a proof-theoretic aspect global
views on proofs which contradict Hilbert's pardigma are
necessary. This holds for quantifier macros and a fortiori for
(partialcalculi for) Henkin quantifiers.
21-22 novembre 2022 Workshop on
Logic, Graphs, and Algorithms (LoGAlg 2022) is a
two-day event held at LIRMM (Montpellier) during the dates
21 and 22 of November 2022. The workshop will be dedicated
to the logical aspects of graph algorithms and their
diverse applications in Theoretical Computer Science and
Discrete Mathematics.