Applications of logic in sciences
I understand math as the study and description of the behavior of mathematical structures, and as you know this math structures could include rings, fields, metric spaces, propositions, categories, numbers, sets, operators, differential equations..., a big part of this structures was born under the need of the description of a problem. For example the study and solution of the problem of the Brachistochrone curve gives to us the calculus of variations, or the study of the behavior of the heat and waves was the main column of the development of the Fourier series expansion, and as you know this is useful in physics, electrical, mechanical, and in general engineering.
So other structures such as differential equations, tensors, matrices are useful for physics, chemistry, economics, engineering, and even abstract ones such as linear spaces, groups, rings, operators, Banach spaces, Hausdorff spaces are useful in physics.
But in general logic, understanding it as the classification of truth parametrized but several specifications using several structures such as languages, binary operators, models, this to proof under what conditions a given expression id true, so it has several applications in number theory, algebra, topology, but this ones are mathematical fields, so i want to know if besides computer science foundations, type theory in CS, programming languages fundamentals, design and analysis of algorithms, digital logic, computer architecture, (that by itself is a huge approach of logic in life), are there any applications of logic in physics, economics, engineering, biology..