Beth definability in relevance logics with the Göodel-Dummett axiom

Bibliografické údaje

Autoři

• Johann Joubert Wannenburg

Rok vydání

2021

Typ publikace

Abstrakt

Periodikum

Kurt Gödel Day 2021 & Czech Gathering of Logicians 2021. Abstracts

Projekty

• Podpora internacionalizace Ústavu informatiky AV ČR, v.v.i

Bibliografická citace

WANNENBURG, Johann Joubert. Beth definability in relevance logics with the Göodel-Dummett axiom. In: Kurt Gödel Day 2021 & Czech Gathering of Logicians 2021. Abstracts. Brno, 2021, S. 36-37.

ID

546985