pub const LOGIC_FAMILIES: [&str; 3];Expand description
The families whose models are logics or proof authorities.
A model of one of them that every other model of its family embeds into, or (beyond the booleans every language has) that every language is made to use, would be a hard-coded universal logic.