1 paper · 1 filter
Ivan Di Liberti, Umberto Tarantino, Lingyuan Ye
We explore the notion of conceptual completeness for a fragment of geometric logic in the framework developed by the first and third author. Unlike its traditional interpretation a…