Publication:3996437
From MaRDI portal
zbMath0691.00002MaRDI QIDQ3996437
No author found.
Publication date: 17 September 1992
03-06: Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
00Bxx: Conference proceedings and collections of articles
Related Items
Powerset Residuated Algebras and Generalized Lambek Calculus, Meaning and interpretation. I, Extending Lambek grammars to basic categorial grammars, The finite model property for BCI and related systems, Meaning and interpretation. II, Unnamed Item, On Meta-Knowledge and Truth