Two types of diagrammatic inference systems: Natural deduction style and resolution style

Koji Mineshima, Mitsuhiro Okada, Ryo Takemura

Research output: Chapter in Book/Report/Conference proceedingConference contribution

10 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Two types of diagrammatic inference systems: Natural deduction style and resolution style'. Together they form a unique fingerprint.

Mathematics