Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents

Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Beigetragen › Begutachtung

Beitragende

Details

OriginalspracheEnglisch
FachzeitschriftLIPIcs
Jahrgang326
PublikationsstatusVeröffentlicht - 2025
Peer-Review-StatusJa