On the existence of translations of structured specifications

ما مجموعه ای از شرایط کافی برای وجود ترجمه هایی از مشخصات ساختار یافته در فرمالیتسیم های مشخص ارائه می دهیم. اساسی ترین شرایط وجود یک ترجمه بین سیستم های منطقی که متشکل از فرمالیزم های مشخصه است، مربوط به وضعیت غیر ساختاری است. رویکرد ما بر مبنای تئوری نهاد و به ویژه بر مبنای یک رویکرد انتزاعی اخیر به مشخصات ساختاری است که در آن هر دو منطق اساسی و سیستم های ساختاری به طور کامل انتزاعی می شوند. از این رو نتیجه ما برای طیف گسترده ای از فرمالیست های مشخصی که ممکن است منطق های مختلف و همچنین سیستم های ساختاری مختلف را بکار گیرد، قابل استفاده است و در متن پارامتر خصوصیات ناهمگن به سرعت در حال توسعه می باشد.