Representing First-Order Causal Theories by Logic Programs

Nonmonotonic causal logic, introduced by Norman McCain and Hudson Turner, became a basis for the semantics of several expressive action languages. McCain's embedding of definite propositional causal theories into logic programming paved the way to the use of answer set solvers for answering queries about actions described in such languages. In this paper we extend this embedding to nondefinite theories and to first-order causal logic.Comment: 29 pages. To appear in Theory and Practice of Logic Programming (TPLP); Theory and Practice of Logic Programming, May, 201

An order-theoretic analysis of interpretations among propositional deductive systems

In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework which is able to describe and characterize both strong and weak forms of interpretations among propositional deductive systems also in the cases where the systems have different underlying languages

Kripke Semantics and Proof Systems for Combining Intuitionistic Logic and Classical Logic

International audienceWe combine intuitionistic logic and classical logic into a new, first-order logic called Polarized Intuitionistic Logic. This logic is based on a distinction between two dual polarities which we call red and green to distinguish them from other forms of polarization. The meaning of these polarities is defined model-theoretically by a Kripke-style semantics for the logic. Two proof systems are also formulated. The first system extends Gentzen's intuitionistic sequent calculus LJ. In addition, this system also bears essential similarities to Girard's LC proof system for classical logic. The second proof system is based on a semantic tableau and extends Dragalin's multiple-conclusion version of intuitionistic sequent calculus. We show that soundness and completeness hold for these notions of semantics and proofs, from which it follows that cut is admissible in the proof systems and that the propositional fragment of the logic is decidable

Delimited control operators prove Double-negation Shift

We propose an extension of minimal intuitionistic predicate logic, based on delimited control operators, that can derive the predicate-logic version of the Double-negation Shift schema, while preserving the disjunction and existence properties

A coalgebraic perspective on logical interpretations

In Computer Science stepwise refinement of algebraic specifications is a well-known formal methodology for rigorous program development. This paper illustrates how techniques from Algebraic Logic, in particular that of interpretation, understood as a multifunction that preserves and reflects logical consequence, capture a number of relevant transformations in the context of software design, reuse, and adaptation, difficult to deal with in classical approaches. Examples include data encapsulation and the decomposition of operations into atomic transactions. But if interpretations open such a new research avenue in program refinement, (conceptual) tools are needed to reason about them. In this line, the paper’s main contribution is a study of the correspondence between logical interpretations and morphisms of a particular kind of coalgebras. This opens way to the use of coalgebraic constructions, such as simulation and bisimulation, in the study of interpretations between (abstract) logics.Fundação para a Ciência e a Tecnologia (FCT

ОБЛІК НЕВІДШКОДОВУВАНИХ ВИТРАТ ОРЕНДАРЯ НА ПОЛІПШЕННЯ ОРЕНДОВАНИХ ЗЕМЕЛЬ ЗА МІЖНАРОДНИМИ СТАНДАРТАМИ БУХГАЛТЕРСЬКОГО ОБЛІКУ

The accounting procedure of the non-reimbursable investments in land improvement, used by a lessee according to the International Accounting Standards, is considered. The expediency of recognition of such capital investments in the structure of fixed assets on the sub-account 118 "Capital expenditures for land improvement at the expense of the lessor" by the types of improvements and by land plots (fields) is proved. It is reasonable to recognize this type of fixed assets by the lessee at prime cost, taking into account benefit reduction. In order to take into account the requirements of the Tax Code of Ukraine and IAS 16 “Fixed Assets”, it is possible to depreciate such improvements by two methods: by straight-line method or by declining balance method. Nevertheless, the accrual of depreciation by declining balance method is economically more expedient.Рассмотрен порядок учета арендатором невозмещаемых инвестиций в улучшение земель по Международным стандартам учета. Доказана целесообразность оприходования таких капитальных инвестиций в составе основных средств на субсчете 118 «Капитальные затраты на улучшение земель за счет арендодателя» по видам улучшений и по земельным участкам (полям). Такой вид основных средств у арендатора целесообразно учитывать по себестоимости, с учетом уменьшения полезности. С целью учета требований Налогового кодекса Украины и МСБУ 16 «Основные средства», амортизацию на такие улучшения можно начислять двумя методами: прямолинейным методом или методом уменьшения остатка. Тем не менее, начисление амортизации методом уменьшения остатка экономически более целесообразно.Постановка проблеми. Сільгоспугіддя в Україні переважно належать дрібним землевласникам, які не в змозі інвестувати в їх поліпшення або відшкодовувати такі поліпшення землекористувачам. Тому питання відображення в обліку невідшкодовуваних капітальних витрат у поліпшення земель (НКВЗ) землекористувачами є досить актуальними. Аналіз останніх досліджень і публікацій. Проблеми облікового забезпечення земельних відносин та витрат на підтримання й підвищення родючості ґрунтів досліджувались багатьма науковцями. Однак з багатьох питань не досягнуто єдиної думки. Виділення не вирішених раніше частин загальної проблеми. Питання відображення в обліку невідшкодовуваних витрат орендаря на капітальне поліпшення орендованих земельних ділянок за МСФЗ, з урахуванням вимог національного законодавства, залишаються недостатньо висвітленими. Мета статті – обґрунтувати порядок відображення у бухгалтерському обліку орендаря невідшкодовуваних капітальних витрат на поліпшення земель за МСФЗ. Виклад основного матеріалу. НКВЗ як об’єкт або група обліку окремо в МСБО 16 «Основні засоби» не розглядаються. За МСБО 16 основні засоби можна обліковувати за моделлю собівартості або за моделлю переоцінки. Однак модель переоцінки для таких витрат не є прийнятною внаслідок неможливості реалізувати такі поліпшення на ринку. Облік таких витрат у орендаря доцільно вести на окремому субрахунку «Капітальні інвестиції у поліпшення землі», а після визнання їх основними засобами – оприбутковувати на окремому субрахунку «Капітальні витрати на поліпшення земель у орендаря» за кожним видом поліпшень та за кожною земельною ділянкою. Унаслідок зниження з часом віддачі поліпшених земель, для нарахування амортизації доцільно використовувати регресивні методи, серед яких МСБО 16 передбачено метод зменшення залишкової вартості, який може застосуватись і згідно з Податковим кодексом України. Висновки та пропозиції. Запропоновані пропозиції з обліку НКВЗ у землекористувача не суперечать МСБО 16, Податковому кодексу України та враховують принцип економічності

ACCOUNTING POLICY AND ITS IMPACT ON THE COST OF FINISHED PRODUCTS

We studied the situation of the enterprise's accounting policies, which affect the cost of the finished product. It was determined that the main influence on the cost of the finished products have a position in accounting policy with respect to valuation of assets and liabilities, methods and bases of distribution of indirect costs. It affects cost of finished goods and tax policy, which may be provided for the election of the general or the simplified taxation system. It is emphasized that in the financial statements accounting policies should be disclosed, if their use significantly affect the company's balance sheet indicators (assets, liabilities, financial result). In this connection, in the accounting policy, in terms of impact on the cost of the finished product, you must at least be defined with: methods of stock assessment at departure; methods and bases cost sharing service industries; list of variable and fixed general production costs and their distribution base; assessment procedures and the transfer of the cost of work in progress to finished products.Исследованы положения учетной политики предприятия, которые влияют на себестоимость готовой продукции. Определено, что основное влияние на себестоимость готовой продукции оказывают положения учетной политики относительно оценки активов и обязательств, методов и баз распределения косвенных затрат. Влияет на себестоимость готовой продукции также налоговая политика, которой может быть предусмотрено избрание общей или упрощенной системы налогообложения. Подчеркивается, что в финансовой отчетности положения учетной политики должны раскрываться, если их применение существенно влияет на показатели баланса предприятия (активы, обязательства, финансовый результат). В связи с этим в учетной политике, в части влияния на себестоимость готовой продукции, необходимо, как минимум, определиться с такими положениями: методами оценки запасов при убытии; методами и базами распределения затрат обслуживающих производств; перечнем переменных и постоянных общепроизводственных затрат и базой их распределения; порядком оценки и перенесения стоимости незавершенного производства на готовую продукцию.Досліджені положення облікової політики підприємства, які впливають на собівартість готової продукції. Визначено, що основний вплив на собівартість готової продукції здійснюють положення облікової політики щодо оцінки активів і зобов’язань, методів та баз розподілу непрямих витрат. Впливає на собівартість готової продукції також податкова політика, якою може бути передбачено обрання загальної або спрощеної системи оподаткування. Наголошується, що у фінансовій звітності положення облікової політики повинні розкриватись, якщо їх застосування суттєво впливає на показники балансу підприємства (активи, зобов’язання, фінансовий результат). У зв’язку з цим у обліковій політиці, в частині впливу на собівартість готової продукції, необхідно, як мінімум, визначитись з такими положеннями: методами оцінювання запасів при вибутті; методами та базами розподілу витрат обслуговуючих виробництв; переліком змінних та постійних загальновиробничих витрат та базою їх розподілу; порядком оцінювання та перенесення вартості незавершеного виробництва на готову продукцію