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

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

Activity: Talk and presentation › Academic presentation › Academic

Description

2021 Workshop on Proof Theory and its Applications
Period2-Dec-2021 → 4-Dec-2021
Event title2021 Workshop on Proof Theory and its Applications
Event typeConference
LocationFunchal, PortugalShow on map
Degree of RecognitionInternational