scientific article; zbMATH DE number 7714889

MaRDI QIDQ6172977zbMATH OpenFDO

Authors Nils Kürbis

Publication date 20 July 2023

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)

Cited in

(3)

• scientific article; zbMATH DE number 7599931 (Why is no real title available?)
• Supposition: A Problem for Bilateralism
• Bilateral inversion principles

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6172977)