Skip to content

Bi-approximation Semantics for Substructural Logic at Work.

Tomoyuki Suzuki

VenueBAiML
Year2010
ProceedingsAdvances in Modal Logic

Browse the full AiML paper archive.