Two-sided sequent calculi for FDE-like four-valued logics

  • Allard Tamminga (Speaker)
  • Kooi, B. (Contributor)

Activiteit: Academic presentation › Academic

Description

2021 Workshop on Proof Theory and its Applications
Periode2-dec.-2021 → 4-dec.-2021
Evenementstitel2021 Workshop on Proof Theory and its Applications
EvenementstypeConference
LocatieFunchal, PortugalToon op kaart
Mate van erkenningInternational