3

Instantiation of Jerboa Rule Schemes, a Set-based Explanation
This report presents a set-theoretic framework for the instantiation of rule schemes in the Jerboa platform, a tool for developing …
Romain Pascual
PDF Cite
Instantiation of Jerboa Rule Schemes, a Set-based Explanation
A Note on Los's Theorem for Kripke-Joyal Semantics
Los’s theorem, also known as the fundamental result of ultraproducts, states that the ultraproduct over a family of structures …
Marc Aiguier, Romain Pascual
PDF Cite
A Note on Los's Theorem for Kripke-Joyal Semantics
Ultraproducts in abstract categorical logic
In a previous publication, we introduced an abstract logic via an abstract notion of quantifier. Drawing upon concepts from categorical …
Marc Aiguier, Isabelle Bloch, Romain Pascual
PDF Cite
Ultraproducts in abstract categorical logic