Volume: Vol-3757 SAFA 2024 | Year: 2024

Paper: « paper6 | paper7 | paper8 »

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

• Ryo Takemura dblp

90-103 PDF