Director at Gupta Strategists · Ervaring: Gupta Strategists · Opleiding: Radboud Universiteit Nijmegen / University of Nijmegen · Locatie: Randstad · 500+ ...
Apr 25, 2024 · List of computer science publications by Dion Coumans.
Dion Caecilia Sylvia Coumans, MathSciNet, Ph.D. Radboud Universiteit Nijmegen 2012 Netherlands, Dissertation: Canonical extensions in logic.
Dion Coumans's 7 research works with 70 citations, including: Duality and Universal Models for the Meet-Implication Fragment of IPC.
Dion Coumans. Director at Gupta Strategists. The Randstad, Netherlands. Gupta Strategists, +2 more. Radboud Universiteit Nijmegen / University of Nijmegen · Dion ...
Achtergrond · Studeerde wiskunde (summa cum laude) aan de Radboud Universiteit Nijmegen · Promoveerde op onderzoek in algebra en logica aan de Radboud ...
Canonical extension has proven to be a powerful tool in algebraic study of propositional logics. In this paper we describe a generalisation of the theory of ...