Uproszczona dolna granica dla logiki implikacyjnej

Prelegent(ci)

Konrad Zdanowski

Afiliacja

UKSW

Termin

17 maja 2024 12:15

Pokój

p. 5450

Tytuł w języku angielskim

A simplified lower bound for implicational logic

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

A streamlined and simplified exponential lower bound on the length of proofs in intuitionistic implicational logic will be presented. The construction suffices to be adaptated to Gordeev and Haeusler’s dag-like natural deduction.

---