standard completeness
Recently Published Documents


TOTAL DOCUMENTS

27
(FIVE YEARS 1)

H-INDEX

5
(FIVE YEARS 0)

2021 ◽  
Vol 1 (2) ◽  
pp. 382-390
Author(s):  
Triana Nurning Utami ◽  
Aldiga Rienarti Abidin ◽  
Leon Candra

Laboratorium klinik adalah laboratorium kesehatan yang melaksanakan pelayanan, pemeriksaan specimen klinik untuk mendapatkan informasi tentang kesehatan perorangan terutama untuk menunjang upaya diagnosis penyakit, penyembuhan penyakit, dan pemulihan kesehatan.Tujuan penelitian ini secara umum untuk mengetahui Analisi Kelengkapan Standar Instalasi Laboratorium di RSIA Eria Bunda Pekanbaru Tahun 2020.Dilakukan wawancara mendalam dan observasi kepada 5 informan.Lokasi penelitian dilakukan di RSIA Eria Bunda Pekanbaru di jln.K.H.Ahmad Dahlan No.163 Sukajadi Pekanbaru, Riau, khususnya dibagian laboratorium pada bulan Maret-April 2020.Hasil penelitian menunjukkan bahwa SDM di laboratorium belum sesuai dengan standar, Sarana di laboratorium belum sesuai dengan standar, Prasarana di laboratorium belum sesuai dengan standar, dan SOP di laboratorium belum sesuai dengan standarnya. Dari hasil penelitian dapat disimpulkan bahwa SDM di laboratorium masih perlu penambahan SDM atau memaksimalkan SDM yang ada dengan menggatur ulang jadwal shiff, Sarana di laboratorium harus dilengkapi dari ruang-ruangan sampai alat laboratorium, Prasarana menyediakan KM/WC untuk pasien dan petugas secara terpisah disekitar laboratorium, dan SOP di laboratorium perlu adanya pengawasan untuk staf analis dalam menerapkan SOP di RSIA Eria Bunda Pekanbaru Tahun 2020. A clinical laboratory is a health laboratory that provides service, examines clinical specimen to obtain information on individual health, especially to support effort to diagnose disease, cures disease and restores health. The purpose of this study generally was to determine the analysis of standard completeness of laboratory installation at RSIA Eria Bunda Pekanbaru in 2020. In-depth interview and observation were conducted with 5 informants. The location of the research was carried out at RSIA Eria Bunda Pekanbaru on KH. Ahmad Dahlan street No.163 Sukajadi Pekanbaru, Riau, especially in the laboratory section on March-April 2020. The result showed that the human resources in the laboratory were not in accordance with standard, the facility in the laboratory was not in accordance with the standard, the infrastructure in the laboratory was not in accordance with the standard, and SOP in the laboratory was not in accordance with the standard. From the result of the study it can be concluded that the human resources in the laboratory still need to add more human resources or maximize existing human resources by resetting the shiff schedule, the facility in the laboratory must be equipped from rooms to laboratory equipment, infrastructure provides bathroom /toilet for patient and staff separately around the laboratory , and SOP in the laboratory needs supervision for analizing staff in implementing SOP at RSIA Eria Bunda Pekanbaru in 2020.


Symmetry ◽  
2019 ◽  
Vol 11 (4) ◽  
pp. 445 ◽  
Author(s):  
SanMin Wang

In this paper, we solve a long-standing open problem in the field of fuzzy logics, that is, the standard completeness for the involutive uninorm logic IUL. In fact, we present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for IUL is proved. Then the standard completeness for IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.


Symmetry ◽  
2019 ◽  
Vol 11 (3) ◽  
pp. 368 ◽  
Author(s):  
SanMin Wang

Our method for density elimination is generalized to the non-commutative substructurallogic GpsUL*‡. Then, the standard completeness of HpsUL*‡ follows as a lemma by virtue of previouswork by Metcalfe and Montagna. This result shows that HpsUL‡* is the logic of pseudo-uninormsand their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.


Author(s):  
SanMin Wang

We present a uniform method of density elimination for several semilinear substructural logics. Especially, the density elimination for the involutive uninorm logic IUL is proved. Then the standard completeness of IUL follows as a lemma by virtue of previous work by Metcalfe and Montagna.


Author(s):  
SanMin Wang

Our method for density elimination is generalized to the non-commutative substructural logic GpsUL∗. Then the standard completeness of HpsUL∗follows as a lemma by virtue of previous workbyMetcalfeandMontagna. This result shows that HpsUL∗ is the logic of pseudo-uninorms and their residua and answered the question posed by Prof. Metcalfe, Olivetti, Gabbay and Tsinakis.


Mathematics ◽  
2019 ◽  
Vol 7 (1) ◽  
pp. 107 ◽  
Author(s):  
Eunsuk Yang

Idempotent uninorms are simply defined by fixpointed negations. These uninorms, called here fixpointed idempotent uninorms, have been extensively studied because of their simplicity, whereas logics characterizing such uninorms have not. Recently, fixpointed uninorm mingle logic (fUML) was introduced, and its standard completeness, i.e., completeness on real unit interval [ 0 , 1 ] , was proved by Baldi and Ciabattoni. However, their proof is not algebraic and does not shed any light on the algebraic feature by which an idempotent uninorm is characterized, using operations defined by a fixpointed negation. To shed a light on this feature, this paper algebraically investigates logics based on fixpointed idempotent uninorms. First, several such logics are introduced as axiomatic extensions of uninorm mingle logic (UML). The algebraic structures corresponding to the systems are then defined, and the results of the associated algebraic completeness are provided. Next, standard completeness is established for the systems using an Esteva–Godo-style approach for proving standard completeness.


Symmetry ◽  
2018 ◽  
Vol 10 (12) ◽  
pp. 755
Author(s):  
Sanmin Wang

Semilinear substructural logics UL ω and IUL ω are logics for finite UL and IUL -algebras, respectively. In this paper, the standard completeness of UL ω and IUL ω is proven by the method developed by Jenei, Montagna, Esteva, Gispert, Godo, and Wang. This shows that UL ω and IUL ω are substructural fuzzy logics.


Author(s):  
SanMin Wang

Two representable substructural logics ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ are logics for finite UL and IUL-algebras, respectively. In this paper, the standard completeness of ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ is proved by the method developed by Jenei, Montagna, Esteva, Gispert, Godo and Wang. This shows that ${\rm {\bf UL}}_\omega $ and ${\rm {\bf IUL}}_\omega $ are substructural fuzzy logics.


2018 ◽  
Vol 345 ◽  
pp. 139-150 ◽  
Author(s):  
Agnieszka Kułacka

Sign in / Sign up

Export Citation Format

Share Document