Sovereign debt ratings provided by rating agencies measure the solvency of a country, as gauged lender or an investor. It is indication risk involved in investment and should be determined correctly well-timed manner. The current system lacking transparency criteria mechanism. present study reconstructs sovereign through logical analysis data (LAD), which based on theory Boolean functions. orga...

Binary logical relations do not compose. So we generalise the notion of logical relation to one of lax logical relation, so that binary lax logical relations do compose. We give both a direct generalisation and a corresponding category theoretic formulation. We generalise the Basic Lemma for logical relations to a Basic Lemma for lax logical relations. Finally, we give an axiomatic category the...