The finite model property for various fragments of intuitionistic linear logic

Mitsuhiro Okada, Kazushige Terui

Research output: Contribution to journalArticlepeer-review

71 Citations (Scopus)

Fingerprint

Dive into the research topics of 'The finite model property for various fragments of intuitionistic linear logic'. Together they form a unique fingerprint.

Mathematics

Arts & Humanities