1 citations · 1 across the 2 of their papers we have counts for
3 papers
cs.CG2024★ 1 cited
Instantiation of Jerboa Rule Schemes, a Set-based Explanation
Romain Pascual
This report presents a set-theoretic framework for the instantiation of rule schemes in the Jerboa platform, a tool for developing domain-specific geometric modelers. Jerboa enable…
cs.LO2024
How Far Does Los's Theorem Extend To Kripke-Joyal Semantics? Sufficient Conditions, Counterexamples, and a Conjecture
Marc Aiguier, Romain Pascual
Los's theorem, also known as the fundamental result of ultraproducts, states that the ultraproduct over a family of structures for the same language satisfies a first-order formula…
cs.LO2024
Ultraproducts in abstract categorical logic
Marc Aiguier, Isabelle Bloch, Romain Pascual
In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical logic, this abstract logic interprets formul…