10 citations · 13 across the 2 of their papers we have counts for
2 papers
math.LO2020★ 10 cited
The poset of all logics II: Leibniz classes and hierarchy
R. Jansana, T. Moraschini
A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete…
math.LO2019★ 3 cited
The Poset of All Logics I: Interpretations and Lattice Structure
R. Jansana, T. Moraschini
A notion of interpretation between arbitrary logics is introduced, and the poset Log of all logics ordered under interpretability is studied. It is shown that in Log infima of arbi…