Skip to content

A Sequent Calculus Representation of Lorenzen Dialogue Extended with Why-Because Dialogue.

Ryo Takemura

VenueCCOMMA
Year2024
ProceedingsSAFA

Browse the full COMMA paper archive.