G. Brun, “Logical Forms: Validity and Variety of Formalizations”, LLP, vol. 32, no. 3, pp. 341–361, Jul. 2023.