Dion Coumans

Publication Activity (10 Years)

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

Top Topics

Nonmonotonic Reasoning

Proof Theoretic

Relational Databases

Desirable Properties

Top Venues

J. Log. Comput.

Ann. Pure Appl. Log.

Publications

Dion Coumans, Mai Gehrke, Lorijn van Rooijen
Relational semantics for full linear logic. J. Appl. Log. 12 (1) (2014)
Nick Bezhanishvili, Dion Coumans, Samuel J. van Gool, Dick de Jongh
Duality and Universal Models for the Meet-Implication Fragment of IPC. TbiLLC (2013)
Dion Coumans, Samuel J. van Gool
On generalizing free algebras for a functor. J. Log. Comput. 23 (3) (2013)
Dion Coumans
Generalising canonical extension to the categorical setting. Ann. Pure Appl. Log. 163 (12) (2012)
Hans Bruun, Dion Coumans, Mai Gehrke
Distributive Lattice-Structured Ontologies. CALCO (2009)