BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Jin Wei (University of Pennsylvania)
DTSTART:20251009T180000Z
DTEND:20251009T190000Z
DTSTAMP:20260423T052758Z
UID:OLS/184
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OLS/184/">A 
 Gentzen-Style Proof System for First-Order Łukasiewicz Logic and Its Comp
 leteness</a>\nby Jin Wei (University of Pennsylvania) as part of Online lo
 gic seminar\n\n\nAbstract\nContinuous model theory for metric structures i
 s grounded in first-order Łukasiewicz logic and thus inherits an Hilbert-
 style axiomatization. However\, the syntactic study with this proof system
  encounters difficulties\, mainly the failure of the deduction theorem due
  to issues with contraction. Gentzen-style proof systems for Łukasiewicz 
 Logic have been developed to address these challenges\, with hypersequent 
 calculi for propositional and first-order Łukasiewicz Logic introduced by
  Metcalfe\, Olivetti\, and Gabbay (2005) and Baaz and Metcalfe (2010). In 
 this talk\, I will give a brief introduction to their work and present my 
 own result establishing the first-order completeness. I will also discuss 
 potential directions of research\, including syntax cut elimination and th
 e development of a constructive fragment of Łukasiewicz Logic\, with pote
 ntial applications to continuous logic.\n
LOCATION:https://researchseminars.org/talk/OLS/184/
END:VEVENT
END:VCALENDAR