Miroslawa Kolowska-Gawiejnowicz

Publication Activity (10 Years)

Years Active: 1997-2014
Publications (10 Years): 0

Top Topics

Low Dimensional

Dimensionality Reduction

Relational Databases

Top Venues

Categories and Types in Logic, Language, and Physics

Publications

Miroslawa Kolowska-Gawiejnowicz
On Canonical Embeddings of Residuated Groupoids. Categories and Types in Logic, Language, and Physics (2014)
Miroslawa Kolowska-Gawiejnowicz
A Labelled Deductive System for Relational Semantics of the Lambek Calculus. Math. Log. Q. 45 (1999)
Miroslawa Kolowska-Gawiejnowicz
Powerset Residuated Algebras and Generalized Lambek Calculus. Math. Log. Q. 43 (1997)