The major elements of the method of proving relational representation theorems presented in this paper are, on the one hand, Urquhart representation theorem for lattices [17] and Allwein and Dunn developments on Kripke semantics for linear logic (see [1] and also [4]), and on the other hand, a generalisation of Jonsson and Tarski ideas [9] which inspired the developments in [5], [6] and [13]. W...

We look at extensions (i.e., stronger logics in the same language) of the Belnap-Dunn four-valued logic. We prove the existence of a countable chain of logics that extend the Belnap-Dunn and do not coincide with any of the known extensions (Kleene’s logics, Priest’s logic of paradox). We characterize the reduced algebraic models of these new logics and prove a completeness result for the first ...

Clustering evaluation techniques are important to check the clustering algorithm quality. High cluster similarity help reduce distance between a node within cluster, also good separation was more avoid overlapping clusters. The network performance will increase and signal be high. Many researchers proposed different validation indexes such as Davies–Bouldin, Dunn, Silhouette indexes. These focu...

The Covid-19 pandemic has led to income degradation of the Indonesia population which potentially triggers poverty. According Indonesian Central Statistics Agency, Province Java is one areas that most affected by especially on economic aspect. In 2020, percentage poor people increased 0.6% from 2019. If this condition ignored for long term, it will have a negative impact hampering national deve...

3. Murray TS, Barber JH, Hannay DR. Computer-assisted learning as a means of self-assessment. Update 1976; 13: 532-534. 4. Murray TS, Dunn WR, Cupples RW, et al. The potential of computer-assisted learning in undergraduate medical education. J R Coll Physicians Lond 1977; 2: 401-404. 5. Murray TS, Cupples RW, Barber JH, et al. Teaching decision-making to medical undergraduates. Med Educ 1977; 2...