Publication:3999247

From MaRDI portal


zbMath0731.03014MaRDI QIDQ3999247

No author found.

Publication date: 17 September 1992



00B25: Proceedings of conferences of miscellaneous specific interest

03B65: Logic of natural languages

03F05: Cut-elimination and normal-form theorems

03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F03: Proof theory in general (including proof-theoretic semantics)

03B53: Paraconsistent logics


Related Items