1. 2020
  2. Distances between formal theories

    Khaled, M., Székely, G., Lefever, K. & Friend, M., Sep 2020, In : Review of Symbolic Logic. 13, 3, p. 633-654 21 p.

    Research output: Contribution to journalArticle

  3. 2019
  4. On Generalization of Definitional Equivalence to Non-Disjoint Languages

    Lefever, K. & Székely, G., 15 Aug 2019, In : Journal of Philosophical Logic. 48, 4, p. 709-729 21 p.

    Research output: Contribution to journalArticle

ID: 38918737