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

Bibliographic details

Authors

Johann Joubert Wannenburg

Publication year

2021

Publication type

Abstrakt

Periodical

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

Projects

• Supporting the internationalization of the Institute of Computer Science of the Czech Academy of Sciences

Bibliographic citation

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