The following pages link to DISTANCES BETWEEN FORMAL THEORIES (Q5117596):
Displaying 7 items.
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Distances, diameters and verisimilitude of theories (Q2277436) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← links)
- (Q4415136) (← links)
- In the Footsteps of Hilbert: The Andréka-Németi Group’s Logical Foundations of Theories in Physics (Q5015981) (← links)
- TWO-VARIABLE LOGIC HAS WEAK, BUT NOT STRONG, BETH DEFINABILITY (Q5159499) (← links)
- On the networks of large embeddings (Q6579991) (← links)