Pages that link to "Item:Q5704809"
From MaRDI portal
The following pages link to Mutual definability does not imply definitional equivalence, a simple example (Q5704809):
Displaying 8 items.
- Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency (Q735410) (← links)
- Are Newtonian gravitation and geometrized Newtonian gravitation theoretically equivalent? (Q1706751) (← links)
- From geometry to conceptual relativity (Q1707209) (← links)
- Quine's conjecture on many-sorted logic (Q1708876) (← links)
- Modal logics that are both monotone and antitone: Makinson's extension results and affinities between logics (Q2108580) (← links)
- Bases for structures and theories. I. (Q2198318) (← links)
- Bases for structures and theories II. (Q2228350) (← links)
- How to count structure (Q6495241) (← links)
