Gehrke, M., Harding, J., Venema, Y. (2004) MacNeille completions and canonical extensions.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Gehrke, M., Harding, J., Venema, Y. (2006) MacNeille completions and canonical extensions.

Transactions of the Americal Mathematical Society, Vol. 358 (pp 573-590)

Article | https://doi.org/10.1090/S0002-9947-05-03816-X | UvA-DARE

Gehrke, M., Jansana, R., Palmigiano, A. (2010) Canonical extensions for congruential logics with the deduction theorem.

Annals of Pure and Applied Logic, Vol. 161 (pp 1502-1519)

Article | https://doi.org/10.1016/j.apal.2010.05.003 | UvA-DARE

Gehrke, M., Jansana, R., Palmigiano, A. (2013) Δ1-completions of a poset.

Order, Vol. 30 (pp 39-64)

Article | https://doi.org/10.1007/s11083-011-9226-0 | UvA-DARE

Gehrke, M., Nagahashi, H., Venema, Y. (2002) A Sahlqvist theorem for distributive modal logic.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Gehrke, M., Nagahashi, H., Venema, Y. (2005) A Sahlqvist theorem for distributive modal logic.

Annals of Pure and Applied Logic, Vol. 131 (pp 65-102)

Article | https://doi.org/10.1016/j.apal.2004.04.007 | UvA-DARE

Gehrke, M., v. Gool, S.J. (2018) Sheaves and Duality.

Journal of Pure and Applied Algebra, Vol. 222 (pp 2164-2180)

Article | https://doi.org/10.1016/j.jpaa.2017.09.004 | UvA-DARE

Gehrke, M., Vosmaer, J. (2011) Canonical extensions and canonicity via DCPO presentations.

Theoretical Computer Science, Vol. 412 (pp 2714-2723)

Article | https://doi.org/10.1016/j.tcs.2010.12.032 | UvA-DARE

Gehrke, M., Vosmaer, J. (2011) A view of canonical extension.

In Bezhanishvili, N. Löbner, S. Schwabe, K. Spada, L. (Eds.), Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers (pp 77-100) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence
FoLLI Publications on Logic, Language and Information, Vol. 6618). Springer.

Geist, C., Endriss, U. (2011) Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.

Journal of Artificial Intelligence Research, Vol. 40 (pp 143-174)

Article | https://doi.org/10.1613/jair.3126 | UvA-DARE

Geist, C., Löwe, B., van Kerkhove, B. (2010) Peer review and knowledge by testimony in mathematics.

In Löwe, B. Müller, T. (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (pp 155-178) (Texts in philosophy). College Publications.

Gencer, Ç., de Jongh, D. (2009) Unifiability in extensions of K4.

Logic Journal of the IGPL, Vol. 17 (pp 159-172)

Article | https://doi.org/10.1093/jigpal/jzn032 | UvA-DARE

Gennari, R. (2000) The GIF Algorithm.

Institute for Logic, Language and Computation.

Report | http:/www.wins.uva.nl/rgennari | UvA-DARE

Gennari, R. (2000) Arc Consistency via Subsumed Functions.

Lecture Notes in Computer Science, Vol. 1861 (pp 358-372)

Article | UvA-DARE

Gennari, R. (2001) Translations for comparing soft frameworks.

In Walsh, T. (Eds.), Proceedings of CP01, volume 2239 of LNCS, 2239

Gennari, R. (2001) General schema for constraint propagation.

Joint Bulletin of the Novosibirsk Computing Center and Institute of Information Systems, Vol. 2

Article | UvA-DARE

Gennari, R. (2002) Mapping Inferences: Constraint Propagation and Diamond Satisfaction.

ILLC Dissertation Series DS-2002-05.

Thesis, fully internal | UvA-DARE

Geraci, C., Oomen, M., Santoro, M. (2022) As strong as an NPI in LSF, NGT and LIS.

Proceedings from Semantics and Linguistic Theory, Vol. 32 (pp 125-143)

Article | https://doi.org/10.3765/salt.v1i0.5353 | UvA-DARE

Gerbrandy, J.D., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.

Vossiuspers - Amsterdam University Press.

Digital or Visual Products | UvA-DARE

Gerbrandy, J.D., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.

Vossiuspers - Amsterdam University Press.

Book (Editorship) | UvA-DARE