407 research outputs found
INTERPOLATION THEOREM FOR NONCOMMUTATIVE STANDARD EXTENSIONS OF LOGIC BB’I
Get PDFMaehara in [Maehara, 1960/1961] introduces a proof-theoretical method for proving the interpolation theorem for standard logics. In the present paper we modify Maehara’s method to prove the interpolation theorem for the systems LBB’IK, LBB’IW and LBB’IKW introduced in [Bayu Suraraso, 2005] and consequently the interpolation theorem holds for the logics BB’IK, BB’IW and BB’IKW.
Keywords: interpolation theorem, Maehara’s method, BB’IK, BB’IW and BB’IKW
TEOREMA INTERPOLASI UNTUK LOGIKA PREDIKAT NON-KOMUTATIF FL DAN FLw
Get PDFIn 1961 Maehara introduced a proof-theoretical method to prove the interpolation theorem for standard logics. By developing Maehara’s method, we can prove interpolation theorem for some non-standard logics, including the commutative predicate logics Fle dan Fle,w. In the present paper we show that by modifying Maehara’s method we can also prove the interpolation theorem for non-commutative predicate logics FL and FLw
TEOREMA ELIMINASI CUT PADA SISTEM LOGIKA FLgc DAN FLw,gc
Get PDF. It is well known that the cut elimination theorem does not hold for FLc dan FLw,c, neither for propositional level nor predicate level. On the other hand, it has been proved that for the propositional level the cut elimination theorem holds for FL with global contraction (FLgc), which is equivalent to FLc. Similar result is also shown for system FL with both weakening and global contraction rule (FLw,gc), which is equivalent to FLw,c. In the present paper we modify and develop the method used to prove the cut elimination for proportional logic FLgc to show that the cut elimination theorem even holds for the predicate logics FLgc dan FLw,gc
Comments on “Stacking ensemble based deep neural networks modeling for effective epileptic seizure detection”
No full text© 2021 Elsevier LtdThis short communication provides a discourse emerged after reading “Stacking ensemble based deep neural networks modeling for effective epileptic seizure detection, Expert Systems with Applications, 148, 113239, 2020.” The discussed paper proposes a novel application of stacking-based ensemble for seizure detection, where several deep neural networks were used as base classifiers. The ensemble design and experimental results presented by the author show some weaknesses, which is indicated by, one of which, an inability of the proposed model to outperform previous studies. In this note, controversy of the discussed paper is explained and an improved version of stacking-based deep neural network is also further introduced and detailed to prevent it in the future.11Nsciescopu
PROBLEM ELIMINASI CUT PADA LOGIKA LBB’Ink
Get PDFIn the present paper we study the problem of the cut elimination in logics LBB’Ink , i.e. logics obtained from LBB’I by adding a rule called (nk) rule. It is known that the cut elimination theorem for LBB’I and its standard extensions can be proved using some modifications of the method used by Gentzen in 1935 to prove the cut elimination theorem for Intuitionistic Logic. We extend the modifications to show that LBB’Ink enjoy the cut elimination theorem when k=1. On the other side, we give a counter example sequent to show that the cut elimination theorem does not work for LBB’Ink when k>1
PRINSIP MAKSIMOVA UNTUK LOGIKA FLw,gc
Get PDFPada umumnya tulisan tentang Prinsip Maksimova menggunakan pendekatan semantik dalam pembahasannya. Pada [2], penulis memperkenalkan suatu pendekatan sintaktik untuk membuktikan Prinsip Maksimova pada beberapa logika substructural. Pada [4] metode tersebut dimodifikasi untuk membuktikan PM pada logika-logika tanpa aturan “weakening” FLg(n 1) dan FL(n 1), dengan n>1. Pada tulisan ini, dengan ide yang sama, tetapi dengan beberapa modifikasi di metodenya, dibuktikan bahwa Prinsip Maksimova berlaku pada logika FLw,gc yang memuat aturan “weakening”
PROBLEM ELIMINASI CUT PADA LOGIKA LBBâInk
Get PDFIn the present paper we study the problem of the cut elimination in logics LBBâInk , i.e. logics obtained from LBBâI by adding a rule called (nï®k) rule. It is known that the cut elimination theorem for LBBâI and its standard extensions can be proved using some modifications of the method used by Gentzen in 1935 to prove the cut elimination theorem for Intuitionistic Logic. We extend the modifications to show that LBBâInk enjoy the cut elimination theorem when k=1. On the other side, we give a counter example sequent to show that the cut elimination theorem does not work for LBBâInk when k>1
Implementation of Corporate Social Responsibility at Grand Hotel Bayu Hill in The Review of The Grant Agreement
Get PDFThis article aims to analyze the practice or implementation of Corporate Social Responsibility at the Grand Bayu Hill Hotel in Bebesen District, Central Aceh Regency. To obtain data, the author used a qualitative method, where the main source was obtained from interviews and observations between the author and the company (stakeholders). Meanwhile, secondary data was obtained from reading sources such as books, journals and other sources related to this research topic. The research results show that; first, regarding the forms of distribution of funds for the Implementation of Corporate Social Responsibility at the Grand Hotel Bayu Hill. Second, regarding supervision of the implementation of Corporate Social Responsibility at the Grand Hotel Bayu Hill, it has not been fully maximized, in fact there is no supervision from the central or regional government regarding CSR, whereas social and environmental responsibility (TJSL) has been regulated based on article 74 paragraph (4) of Law 40 /2007 is imperative, that is, it is only regulated by Government Regulation, in other words, CSR is under the auspices of the government. Third, in reviewing the grant contract, according to Islamic law and the opinion of the Ulama, CSR implementation practices at the Grand Hotel Bayu Hill are still not optimal when viewed from the terms and conditions of the grant. The defect lies in the gift giver and the shigat (promise of qabul) when giving goods/money to be gifted to the recipient of the gift
- …
