Karin Cvetko-Vah

Publication Activity (10 Years)

Years Active: 2011-2020
Publications (10 Years): 5

Top Topics

Sound And Complete With Respect

Derivation Rules

Distributive Lattices

Temporal Filtering

Top Venues

Ars Math. Contemp.

Art Discret. Appl. Math.

Publications

Karin Cvetko-Vah, Jens Hemelaer, Jonathan Leech
Noncommutative frames revisited. Ars Math. Contemp. 19 (1) (2020)
Karin Cvetko-Vah, Michael Kinyon, Jonathan Leech, Tomaz Pisanski
Regular antilattices. Art Discret. Appl. Math. 2 (2) (2019)
Karin Cvetko-Vah, João Pita Costa
On the Update Operation in Skew Lattices. FLAP 5 (8) (2018)
Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell
Non-commutative Logic for Compositional Distributional Semantics. WoLLIC (2017)
Karin Cvetko-Vah
On skew Heyting algebras. Ars Math. Contemp. 12 (1) (2017)
Karin Cvetko-Vah, Jonathan Leech, Matthew Spinks
Skew lattices and binary operations on functions. J. Appl. Log. 11 (3) (2013)
Karin Cvetko-Vah, Jonathan Leech
(). Int. J. Algebra Comput. 21 (7) (2011)
Karin Cvetko-Vah, Michael K. Kinyon, Jonathan Leech, Matthew Spinks
Cancellation in Skew Lattices. Order 28 (1) (2011)