We give a novel application of algebraic logic to first order logic. A new, flexible construction is presented for representable but not completely representable atomic relation and cylindric algebras of dimension n (for finite n > 2) with the additional property that they are one-generated and the set of all n by n atomic matrices forms a cylindric basis. We use this construction to show that the classical Henkin-Orey omitting types theorem fails for the finite variable fragments of first order (...) logic as long as the number of variables available is > 2 and we have a binary relation symbol in our language. We also prove a stronger result to the effect that there is no finite upper bound for the extra variables needed in the witness formulas. This result further emphasizes the ongoing interplay between algebraic logic and first order logic. (shrink)

We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n ≤ w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin's axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey's omitting types theorem fails for Ln, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. Ln has been recently (and quite extensively) studied as a many-dimensional (...) modal logic. (shrink)

SC , CA , QA and QEA stand for the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasipolyadic algebras, and quasipolyadic equality algebras of dimension , respectively. Generalizing a result of Németi on cylindric algebras, we show that for K {SC, CA, QA, QEA} and ordinals , the class Nr K of -dimensional neat reducts of -dimensional K algebras, though closed under taking homomorphic images and products, is not closed under forming subalgebras (i.e. is not a variety) if (...) and only if > 1.From this it easily follows that for 1 , the operation of forming -neat reducts of algebras in K does not commute with forming subalgebras, a notion to be made precise. (shrink)

We give a new characterization of the class of completely representable cylindric algebras of dimension 2 #lt; n w via special neat embeddings. We prove an independence result connecting cylindric algebra to Martin''s axiom. Finally we apply our results to finite-variable first order logic showing that Henkin and Orey''s omitting types theorem fails for L n, the first order logic restricted to the first n variables when 2 #lt; n#lt;w. L n has been recently (and quite extensively) studied as a (...) many-dimensional modal logic. (shrink)

Let 1 n. We show that the class NrnCAβ of n-dimensional neat reducts of β-dimensional cylindric algebras is not closed under forming elementary subalgebras. This solves a long-standing open problem of Tarski and his co-authors Andréka, Henkin, Monk and Németi. The proof uses genuine model-theoretic arguments.

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi-polyadic algebras and quasi-polyadic equality algebras, respectively. Let ω ≤ α < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α -dimensional neat reducts of algebras in Kβ is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3].

Introduced by Leon Henkin back in the fifties, the notion of neat reducts is an old venerable notion in algebraic logic. But it is often the case that an unexpected viewpoint yields new insights. Indeed, the repercussions of the fact that the class of neat reducts is not closed under forming subalgebras turn out to be enormous. In this paper we review and, in the process, discuss, some of these repercussions in connection with the algebraic notion of amalgamation. Some new (...) unpublished results concerning neat reducts and amalgamation are given. . Several counterexamples which convey the gist of techniques used in this area are presented two of which are new It is known that the algebraic notion of amalgamation in a class of algebras corresponds to the metalogical notion of interpolation in the corresponding logic. Answers to open question in the recent paper [31] concerning both amalgamation and interpolation are summarized in tabular form at the end of this paper. This paper appears in two parts. The first part contains results on neat reducts. The present second part contains results relating the notion of neat embeddings to various amalgamation properties.1. (shrink)

We show that not all epimorphisms are surjective in certain classes of infinite dimensional cylindric algebras, Pinter's substitution algebras and Halmos' quasipolyadic algebras with and without equality. It follows that these classes fail to have the strong amalgamation property. This answers a question in [3] and a question of Pigozzi in his landmark paper on amalgamation [9]. The cylindric case was first proved by Judit Madarasz [7]. The proof presented herein is substantially different. By a result of Németi, our result (...) implies that the Beth-definability Theorem fails for certain expansions of first order logic. (shrink)

In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.

We survey various results on the relationship among neat embeddings, complete representations, omitting types, and amalgamation. A hitherto unpublished application of algebraic logic to omitting types of first-order logic is given.

We show that it is impossible to define a substitution operator for arbitrary representable cylindric algebras that agrees in its basic properties with the notion of substitutions introduced for dimension complemented algebras.

In Bangladesh due to improved quality of life the number of people over 60 years is increasing rapidly. This should be seen as an emerging challenge as the elderly will have special needs and require different care-giving services. Since Bangladesh does not have a social welfare system there will be competition for inadequate resources specially health and medical services. It is envisaged that due to more elderly population the demographic structure will undergo a slow change from the present pyramid structure. (...) The growing trend towards nuclear family or where children live abroad will put the elderly parents in a dilemma-the financial and social support that is essential for them has not yet emerged. The nutrition and health status of elderly people depend on adequate food safe water, proper sanitation facilities and maintaining hygienic standards. To provide special medical care for the elderly there is a need to establish WHO recommended Age-Friendly Primary Health Care centers and separate wards /units are to be set up in the hospitals. To reduce vulnerability of older women there is a need to distribute assets and properties according to the law.. Our new generations have to be responsive, informed and attentive about their duties and responsibilities towards the elderly people. Taking proper care of the elderly is our ethical duty and responsibility. (shrink)

SC, CA, QA and QEA denote the class of Pinter’s substitution algebras, Tarski’s cylindric algebras, Halmos’ quasi-polyadic and quasi-polyadic equality algebras, respectively. Let . and . We show that the class of n dimensional neat reducts of algebras in K m is not elementary. This solves a problem in [2]. Also our result generalizes results proved in [1] and [2].

We solve some open questions on the amalgamation porperty in various algebras of logic . Some of these problems first appeared in Pigozzi [3].

We prove several interpolation theorems for many-valued infinitary logic with quantifiers by studying expansions of MV-algebras in the spirit of polyadic and cylindric algebras. We prove for various reducts of polyadic MV-algebras of infinite dimensions that if is the free algebra in the given signature,, is in the subalgebra of generated by, is in the subalgebra of generated by and, then there exists an interpolant in the subalgebra generated by and such that. We call this a varying interpolation property because (...) the integer depends on the inequality. We also address cases where this interpolation property fails, but other weaker ones hold. One such interpolation theorem says that though an interpolant may not be found as above, an interpolant can always be found if finitely many universal quantifiers are applied to making it smaller and the same number of existential quantifiers are applied to making it bigger. This number of quantifiers also varies; it depends on the inequality. Se.. (shrink)

We redefine a system of varieties definable by a schema of equations to include finite dimensions. Then we present a technique using ultraproducts enabling one to lift results proved for every finite dimension to the transfinite. Let \(\bf Ord\) denote the class of all ordinals. Let \(\langle \mathbf{K}_{\alpha}: \alpha\in \bf Ord\rangle\) be a system of varieties definable by a schema. Given any ordinal \(\alpha\), we define an operator \(\mathsf{Nr}_{\alpha}\) that acts on \(\mathbf{K}_{\beta}\) for any \(\beta>\alpha\) giving an algebra in \(\mathbf{K}_{\alpha}\), (...) as an abstaction of taking \(\alpha\)-neat reducts for cylindric algebras. We show that for any positive \(k\), and any infinite ordinal \(\alpha\) that \(\mathbf{S}\mathsf{Nr}_{\alpha}\mathbf{K}_{\alpha+k+1}\) cannot be axiomatized by a finite schema over \(\mathbf{S}\mathsf{Nr}_{\alpha}\mathbf{K}_{\alpha+k}\) given that the result is valid for all finite dimensions greater than some fixed finite ordinal. We apply our results to cylindric algebras and Halmos quasipolyadic algebras with equality. As an application to our algebraic result we obtain a strong incompleteness theorem (in the sense that validitities are not captured by finitary Hilbert style axiomatizations) for an algebraizable extension of \(L_{\omega,\omega}\). (shrink)

Let α be an arbitrary infinite ordinal, and. In [26] we studied—using algebraic logic—interpolation and amalgamation for an extension of first order logic, call it, with α many variables, using a modal operator of a unimodal logic that contributes to the semantics. Our algebraic apparatus was the class of modal cylindric algebras. Modal cylindric algebras, briefly, are cylindric algebras of dimension α, expanded with unary modalities inheriting their semantics from a unimodal logic such as, or. When modal cylindric algebras based (...) on are just cylindric algebras, that is to say,. This paper is a sequel to [26], where we study algebraically other properties of. We study completeness and omitting types (s) for s by proving several representability results for so‐called dimension complemented and locally finite. Furthermore, we study the notion of atom‐canonicity for, the variety of n‐dimensional modal cylindric algebras. Atom canonicity, a well known persistence property in modal logic, is studied in connection to for, which is restricted to the first n variables. We further continue our study of interpolation in [26] for algebraizable extensions of by studying using both algebraic logic and category theory. Our main results on are Theorems 3.7, 4.4 & 4.6, while our main results on amalgamation are Theorems 5.7, 5.10, 5.13 & 5.16. (shrink)

Fix 2 < n < ω and let C A n denote the class of cylindric algebras of dimension n. Roughly, C A n is the algebraic counterpart of the proof theory of first-order logic restricted to the first n var...

We give a simple new construction of representable relation algebras with non-representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable.

We give a simple new construction of representable relation algebras with non-representable completions. Using variations on our construction, we show that the elementary closure of the class of completely representable relation algebras is not finitely axiomatizable.

Child marriage is still a massive problem in many developing countries. The issue is more concentrated in countries of Sub Saharan Africa and South Asia. This paper, through literature review attempts to assess the situation, the consequences, various programmes and recommendations on the reduction of child marriage. In this article it is reinforced that, consequences of child marriage put the girls at risk of early pregnancies with life-threatening conditions. This paper suggests that each country should set up its own mid-term (...) and long-term goals to bring about significant reduction in child marriages. (shrink)

We show that several varieties of algebras studied in algebraic logic fail to have the amalgamation property.

This study aims to create an integrated geographical information system database of natural resources represented by mining activities in the Red Sea area in Sudan. GIS is a vital tool to help the decision-makers in managing and classifying these resources in terms of quantity and quality within the concept of sustainable development. The paper extracts some models of investment map indicators. In addition to that, it conducts a study and research aimed at developing a mineral resources management and discovering and (...) identifying the new areas of mineral wealth in GIS database. The motivation of this study stems from the fact that countries with these types of wealth can greatly grow their gross domestic product through the optimum management and governance. Most of the least development countries can focus on the search for alternative natural resources to support their economy. Red Sea region is one of the great regions full of natural and mineral resources, beside its strategic location on the way of most of the global trade transaction path. This paper designs and implements GIS multiple database layers. The multiple layers were modelled to overcome the technical difficulties that result from processing of large quantities of tempospatial information. The database was built by using an Oracle database system due to its capability of multilayer design. (shrink)

Welcome to all readers of the BJB Vol 9 issue 3, 2018! The BJB team together with authors, reviewers and well- wishers have contributed their all-out support to bring out this issue despite many challenges. This issue spans several topics of Bioethics beginning from complementary feeding patterns, ethical beliefs and vaccine, the regulatory documents related to pharmaceutical promotion in Bangladesh and Intimate Partner Violence. All these topics are very important for Bangladesh as well other countries.

Using techniques developed by Comer on sheaf-theoretic duality for cylindric algebras, we refine a result of Judit Madarász by showing that epimorphisms are not surjective even in the class of simple infinite dimensional cylindric algebras.

Dear Readers,Happy Summer Holidays for all of us up in the Northern Hemisphere. While we are basking in the warmth of sunny days our friends in Australia are buying winter clothes. How strange is this world! And stranger are the creations who are supposed to look after all other organic and inorganic objects in this planet and maybe beyond. The simple virtues of ethical and value based behavior is often forgotten when we are focus on getting the best for ourselves (...) without thinking or respecting the rights of others. The case of ethics in publication is not any different. We have few papers this issue but they are of extreme value and relevance. (shrink)

No abstract available.Bangladesh Journal of Bioethics Vol 8; Issue 2, 2017.

Dear Readers,Welcome to this issue of our beloved Bangladesh Journal of Bioethics! In this sweltering heat we are all seeking for some cool and comfort. We bring this issue of BJB on different ethical practices and bring up related questions. Are we respecting the rights of every human being when we are either doing research or practicing health service provision? What are the minimum norms and standards to be maintained or are we circumventing those? The issue looks into different issues (...) and provides us with indepth information, queries, fears and reservations.In the article on Knowledge, attitude and practice of medical ethics among medical intern students in a Medical College in Kathmandu, Ramesh P Aacharyaand Yagya L Shakya, report on a Knowledge Attitude and Practice survey of 46 medical undergraduate interns of Maharajgunj Medical Campus. The result of the survey is quite interesting. ‘Doctors know the best irrespective of patients’ opinion was agreed upon by 35 %, ‘Confidentiality cannot be kept in modern era and should be abandoned’ was strongly disagreed by 34.8% and disagreed by 60.9%. The Authors hope that the findings will assist the faculties to strengthen the teaching of medical ethics and guiding the interns for ethical professional conduct. In the article titled Organizational Justice and Employee’s Service Behavior in the Healthcare Organizations in Bangladesh is an agenda for Research, Md. Nuruzzaman and Md. Humayun Kabir Talukder present a conceptual framework and a set of hypotheses regarding the relationships among distributive justice, procedural justice, interactional justice, employee’s citizenship behaviour, role prescribed behaviour and counterproductive behavior in the healthcare organizations in Bangladesh. The authors state that the purpose is to assist the policy makers and service providers in identifying desirable and undesirable HRM practices in order to maintain optimum level of employee commitment for ensuring quality and efficient service delivery to the communities. Though the article is theoretical it may be useful for the policy makers and service providers. If an operational research could be carried out to test the hypothesis the practical utility of the concept could be tested in Bangladesh.Zoheb Rafique in the article Ethical Justification of Conducting Research Trials in Lower and Middle Income Countries Including Pakistan: The Responsibilities of Research Enterprises explores the ethical aspects of research sponsored by commercial agencies. He looks into the factors that influence selection of a study site for a sponsored trial particularly in traditional countries like Pakistan where cultural values add to the problem in assuring that research is conducted in an ethical manner. In this paper, the Author discusses the responsibilities of researchers and funders in low and middle income countries like Pakistan and the ethical justifications of doing research trials in developing countries. He concludes that research participants should be fully informed about the research trial and their participation and it is their right to know all risks and benefits so that they have the option of rejecting participation.The article on Ethical aspects of Dhaka University Tele-medicine System by Ahmed Raihan Abir provides and analysis of the tele- medicine system in Dhaka University. The Author is a member of an extended group at Dhaka University (DU) which has been developing telemedicine equipment and data acquisition software to promote telemedicine practice in Bangladesh. Recently the Telemedicine group of DU and a local NGO named SAMAMA with support from Service innovation fund (SIF) of the Prime Minister Office (PMO) of Bangladesh took the initiative to establish eight rural telemedicine centers and one expert center for the field trial of telemedicine in Bangladesh. The aim of this paper is to examine the ethical challenges of such health care system and the effort to overcome these problems before starting the field trial. The author looks into the details of Data confidentiality and security, Responsibilities of Doctor and Rural Technician, Quality of service and Implications of telemedicine in Bangladesh. He concludes that DU telemedicine project will essentially bring the services of qualified medical experts to the doorsteps of the common people throughout the country, even in the remote rural areas. Although a telemedicine cannot match a face to face consultation, DU tele-medicine system is much better than no consultation at all.Sifat Rahman in the article on Ethical Issues of Fair Subject Selection in Research provides an overview of the criterion for maintaining ethical standards for conducting research. The Author reviews the three fundamental conditions to be met for adhering to strict ethical standards which are: Respect for Persons by protecting the autonomy of people, treating them with courtesy and respect and obtaining informed consent.; Beneficence which incorporates the philosophy of "Do no harm" while maximizing benefits for the research project and minimizing risks to the research subjects; and Justice by ensuring that reasonable, non-exploitative, and well-considered procedures are administered fairly. Finally the Author concludes that Researchers must be truthful and conduct no deception.Dear Readers, as you can see from the above ethics and maintaining the values in research and services are of utmost importance in the improvement of the quality of life. Through our queries, questions and sense of respect for every living being can our endeavors to ensure ethics in all spheres of development be successful.Dear Readers, please keep on sending your articles, notes or thoughts to us. Your participation will make a difference in the quality of our lives.Best regardsTahera AhmedEditor. (shrink)

Greetings to all our honourable Readers and writers of the Bangladesh Journal of Bioethics! This issue of 2016 deals with the topic of Ageing and ethical issues related to the caring and respect of the elderly.

Hello readers! Hope everyone is fine especially in this season where we often are prone to attacks of cold or flu. The holiday season is at our threshold, and we wish everyone to be in the best of health and happiness.This issue of the BJB is very interesting with topics stretching from Non Communicable Diseases to the ethical issues related to the habitation of the planet Mars, and proves how forward looking are our readers and authors.Mohammad Rashedul Islam et al (...) discuss the application of the SARA method in a district in Bangladesh. The method is based on the principle of Service Availability and Readiness Assessment of WHO. The study in a district in Bangladesh found that about 62% of all the facilities were ready to provide general services like basic amenities with basic equipment, standard precautions for infection prevention, diagnostic capacity and essential medicines. However in case of Non-Communicable Diseases (NCD), only 40% of the health facilities had chronic respiratory disease and cardiovascular diseases diagnosis/management and only 32% had availability of diabetes diagnosis/management. Therefore, service availability and readiness of the health facilities to provide NCD related health services were not satisfactory. The authors emphasize that SARA which is a tool to monitor facilities to be ready for provision of services including NCD, should be used by all clinic managers.The very scientific and forward looking article titled “SCNT Method and the Application for Patent Eligibility on Cloned Animals” by Norman K. Swazo reviews US federal court decisions regarding applications for patent in the case of live-born animal clones. A decision issued from the United States Court of Appeals for the Federal Circuit established an earlier decision of the Patent Trial and Appeal Board that live-born animals cloned by the somatic cell nuclear transfer method (SCNT) like cattle, sheep, pigs, and goats are not patentable, so a scientist using the method is not eligible for a patent claim on the animals. The author feels that this decision has ethical implications related to the moral status of cloned animals. The author argues whether the end product of a SCNT (somatic cell nuclear transfer) application is same as an invention or only a revelation of nature at the cellular level. The author quotes Article 11 of Universal Declaration on the Human Genome and Human Rights UNDHGR “Practices which are contrary to human dignity, such as reproductive cloning of human beings, shall not be permitted.” He concludes that the judicial assessments in the USA deciding on the question of patenting of animal clones provide important barriers to human reproductive cloning research, safeguarding moral and legal commitment to human dignity. The article on Ethics in Public Health Research and Clinical Research by Muhammad Waseem Khanet al discusses on the need to continue to focus on ethical values in conducting any research. Tha authors stress the importance, either in public health research or clinical research, of the need to recognize an ethical standard that respects individual’s autonomy and community’s wellbeing. This can be achieved through collective collaboration for the protection of individual’s autonomy, dignity and wellbeing. Research ethics is a fundamental criterion to be complied with throughout a research study. The very interesting article on Planetary Protection for Mars: Time for Reconsideration by Svetoslav Alexandrov looks into the ethical questions beyond mother earth but which could be affected by people from our planet. In this manuscript the author discusses the ethics of the protection of hypothetical organisms on Mars in terms of planned manned space missions and subsequent colonization. The author discusses the possible problems related to a process called terraformation where the planet is converted to make it suitable for Earth life. He argues that terraformation will change the whole condition of the planet. The author quotes Carl Sagan, of The Planetary Society: “If there is life, then I believe we should do nothing to disturb that life. Mars then, belongs to the Martians, even if they are microbes”. I think we all agree with this brilliant recommendation.The article ‘We Still Need to Improve Our Research Writing Ethics’ by Sheikh Arslan Sehgal looks into the value of maintaining professional integrity of research work. Particularly with issues like plagiarism, ethics, authorship and data fabrication. He argues that the scientific community must obey the scientific ethical norms and rules. He feels that ethical problems must be resolved for the advancement of research in countries including Pakistan. The author recommends teaching students the international, institutional and professional standards regarding research and authorship issue. Thus from the beginning researchers will know the key components of ethics in conducting research and the end product will be research work of quality and acceptability.Dear Readers, we look forward to your articles, commentaries, observations on different issues which touch our lives and will help in broadening our knowledge and understanding of Bioethics. (shrink)

We prove that the existence of atomic models for countable atomic theories does not hold for Ln the first order logic restricted to n variables for finite n > 2. Our proof is algebraic, via polyadic algebras. We note that Lnhas been studied in recent times as a multi-modal logic with applications in computer science. 2000 MATHEMATICS SUBJECT CLASSIFICATION. 03C07, 03G15.

Dear Readers,Happy Summer Holidays for all of us up in the Northern Hemisphere. While we are basking in the warmth of sunny days our friends in Australia are buying winter clothes. How strange is this world! And stranger are the creations who are supposed to look after all other organic and inorganic objects in this planet and maybe beyond. The simple virtues of ethical and value based behavior is often forgotten when we are focus on getting the best for ourselves (...) without thinking or respecting the rights of others. The case of ethics in publication is not any different. We have few papers this issue but they are of extreme value and relevance. (shrink)