The following pages link to DISTANCES BETWEEN FORMAL THEORIES (Q5117596):
Displayed 4 items.
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- On generalization of definitional equivalence to non-disjoint languages (Q2323696) (← 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)