The Review of Symbolic Logic · 2016 · 67 citations · 32 references
Non-classical LogicEngineeringAutomated ReasoningMorita EquivalenceTheoretical EquivalenceClassical LogicFormal MethodsLanguage StudiesSemanticsAbstract LogiciansCategorical LogicModal LogicLinguisticsLogical Formalism
Abstract Logicians and philosophers of science have proposed various formal criteria for theoretical equivalence. In this paper, we examine two such proposals: definitional equivalence and categorical equivalence. In order to show precisely how these two well-known criteria are related to one another, we investigate an intermediate criterion called Morita equivalence.
32
On empirically equivalent systems of the world
W. V. Quine · Erkenntnis · 1975 · 720 citations
Equivalent Systems, Complexity Science, Complexity Theory +2
Choice Reviews Online · 2013 · 308 citations
What Scientific Theories Could Not Be
Hans Halvorson · Philosophy of Science · 2012 · 206 citations · Full text