We generalize the double negation construction of Boolean algebras in Heyting algebras to a double negation construction of the same in Visser algebras. This result allows us to generalize Glivenko’s theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras.

We study the linear Lindenbaum algebra of Basic Propositional Calculus, called linear basic algebra.

We study the variety of Löb algebras , the algebraic structures associated with formal propositional calculus. Among other things, we prove a completeness theorem for formal propositional logic with respect to the variety of Löb algebras. We show that the variety of Löb algebras has the weak amalgamation property. Some interesting subclasses of the variety of Löb algebras, e.g. linear, faithful and strongly linear Löb algebras are introduced.

This book advances and enriches the debates and discussions about the value of art. It offers a close reading of passages from Marx’s entire body of work and an engaging and accessible narrative of the beginnings, development and discoveries of Marx’s thoughts on art.

We study Basic algebra, the algebraic structure associated with basic propositional calculus, and some of its natural extensions. Among other things, we prove the amalgamation property for the class of Basic algebras, faithful Basic algebras and linear faithful Basic algebras. We also show that a faithful theory has the interpolation property if and only if its correspondence class of algebras has the amalgamation property.

Journal Name: Journal of Ancient History Issue: Ahead of print.

In this note we present a completion for the variety of bounded distributive quasi lattices, and, inspired by a well-known idea of L.L. Maksimova [14], we apply this result in proving the amalgamation property for such a class of algebras.

In this paper by using a model-theoretic approach, we prove Craig interpolation property for Formal Propositional Logic, FPL, Basic propositional logic, BPL and the uniform left-interpolation property for FPL. We also show that there are countably infinite extensions of FPL with the uniform interpolation property.

A logic |$\mathcal{L}$| is said to satisfy the descending chain condition, DCC, if any descending chain of formulas in |$\mathcal{L}$| with ordering induced by |$\vdash _{\mathcal{L}};$| eventually stops. In this short note, we first establish a general theorem, which states that if a propositional logic |$\mathcal{L}$| satisfies both DCC and has the Craig Interpolation Property, CIP, then it satisfies the Uniform Interpolation Property, UIP, as well. As a result, by using the Nishimura lattice, we give a new simply proof of (...) uniform interpolation for |$\textbf{IPL}_2$|⁠, the two-variable fragment of Intuitionistic Propositional Logic; and one-variable uniform interpolation for |$\textbf{IPL}$|⁠. Also, we will see that the modal logics |$\textbf{S}_4$| and |$\textbf{K}_4$| do not satisfy atomic DCC. (shrink)

This study analyzes the journalistic discourses on social media in order to find out the position of Venezuelan and international press in the coverage of 2019 Venezuelan presidential crisis. Drawing on Borrat’s and Enguix Oliver’s theoretical approaches regarding newspapers and social networks, and through CDA models of Fairclough and Richardson, this research aims to understand to what extent the national quality newspapers such as El Nacional, El Universal, and Últimas Noticias, and the international ones as The New York Times, The (...) Guardian, El País, and Le Monde participated in the Venezuelan political conflict and constructed the respective political narratives through Instagram. The findings show that both national and international press participated as external narrators in the political conflict and highlight the role of newspapers as political actors and social media as a tool in their hands. (shrink)

We prove that $\textbf {K}5$ and some of its extensions that do not contain $\textbf {K}4$ are of unification type $1$.

\(\nabla \) -algebra is a natural generalization of Heyting algebra, unifying many algebraic structures including bounded lattices, Heyting algebras, temporal Heyting algebras and the algebraic presentation of the dynamic topological systems. In a series of two papers, we will systematically study the algebro-topological properties of different varieties of \(\nabla \) -algebras. In the present paper, we start with investigating the structure of these varieties by characterizing their subdirectly irreducible and simple elements. Then, we prove the closure of these varieties under (...) the Dedekind-MacNeille completion and provide the canonical construction and the Kripke representation for \(\nabla \) -algebras by which we establish the amalgamation property for some varieties of \(\nabla \) -algebras. In the sequel of the present paper, we will complete the study by covering the logics of these varieties and their corresponding Priestley-Esakia and spectral duality theories. (shrink)

Pessimism may be one of the most evident features of Arabic contemporary poetry; specifically, when the poet belongs to the Romantic school since s/he has been living in an imaginary world far from reality. The fact is that the effects of pessimism in Arabic poetry have been observed since old times to the present, and Romantic poets have been impressed by changes in their personal and social conditions and then began complaining about the grief and pain of the time. Experiencing (...) a painful life, Naji took a pessimistic view toward life. This paper attempts to focus on Ebrahim Naji’s pessimism to see whether he is the same as older poets, or whether his pessimistic attitude is derived from Romantic values which have a deep relationship with the romantic trend impressed by the west and its literature. (shrink)

The majority of studies on compliment response have investigated CR patterns and norms among different cultural groups and communities. The present study investigated the shifting of CR patterns across generations within the same speech community. To this end, 272 Persian speakers were chosen from among high school students and teachers. A discourse completion task with four complimenting situations was administered. The findings revealed that the new generation of Persian speakers, regardless of their gender, had shifted their CR patterns and overwhelmingly (...) accepted compliments. This change is attributed to the changing interpretations and conceptions of politeness and to the influx of English culture, through exposure to English media, internet, TV series, films, etc., among the new generation of Persian speakers. (shrink)

This book adds to the debate around HRD and ethical dimensions in the workplace, evaluating the micro and macro environments and their role in designing a moral organizational culture. It assesses contemporary issues such as CSR and DEI and culture and their impact on the organization and employees. Examining the definition, purpose, and scope of ethics applied in HRD, this book will offer readers an in-depth understanding of current and future ethical challenges in the workplace and in society. It will (...) provide theoretical and practical knowledge for creating and sustaining ethical climates in organizations. (shrink)

The main result proves Lyndon’s and Craig’s interpolation properties for the logic of strict implication ${\textsf{F}}$, with a purely syntactical method. A cut-free G3-style sequent calculus $ {\textsf{GF}} $ and its single-succedent variant $ \textsf{GF}_{\textsf{s}} $ are introduced. $ {\textsf{GF}} $ can be extended to a G3-variant of the sequent calculus GBPC3 for Visser’s basic logic. Also a simple syntactic proof of known embedding result of $ {\textsf{F}} $ into $ {\textsf{K}} $ is provided. An extension of $ {\textsf{F}} $, (...) namely $ \textsf{FD}, $ is considered as well. (shrink)

The policy of genocide carried out by Armenian nationalists against Azerbaijanis has a history of more than 200 years. The goal of this insidious policy was the expulsion of Azerbaijani people from their historical lands and the creation of a mythical state of “Great Armenia” in these territories. On March 31, 1918, under the leadership of the Dashnaktsutyun party with the help of the Red Army of Soviet Russia, the Azerbaijani population of Baku was subjected to genocide. The corpses of (...) 57 Muslim women, whose ears and noses were cut off, and their bellies were torn open, were found in one of the neighborhoods in Baku. Armenians threw people alive into water wells, burning ovens, and oil wells, ripped apart pregnant women's bellies with bayonets, killed children with bayonets, nailed babies to walls, raped women, young girls, and old women. They hung men upside down by their legs, cut them in half with swords, crucified some of them on wooden beds, wrapped them in carpets and rugs and burned them alive, cut off people's hands and feet, and forced them to eat their own flesh under bayonets. Wild Armenian gangs burned Muslim clerics in the fire of bonfires lit from the Koran, the holy book of Islam. This was the true face of the Armenian nationalists who loudly shouted about “self-determination”, “autonomy” and “genocide”. The cruelty of Andranik, who made “necklaces” from children’s eyes, and other Armenians, knew no bounds. In March 1918, up to 20 thousand Azerbaijanians in Baku, and in 1917-1920 on the territory of Azerbaijan, more than 400 thousand Azerbaijani people were subjected to “genocide” by the Armenians. As the world ignores these atrocities, they are increasing. (shrink)

An interview about realism conducted in English and translated into Persian by Reza Alizadeh Mamaghani.

Füzuli Qurbanovun “Heydər Əliyev və yeni liderlik: fəlsəfi-elmi təhlil” kitabı AMEA Fəlsəfə və Sosiologiya İnstitutunun Elmi Şurasının 05.04.2023-cü il tarixli, 02 saylı iclasının qərarı ilə çapa məsləhət görülmüşdür. Əsərin elmi redaktorları prof. İlham Məmmədzadə və t.e.d. Eynulla Mədətli, rəyçiləri prof. Etibar Nəcəfov, prof. Cahangir Məmmədov və redaktoru Qabil Camalovdur. Müəllif kitaba “Ön söz”lə başlayır. Burada Heydər Əliyevin şəxsiyyət kimi davranışları, bir vətəndaş olaraq mövqeyi, başçı-lider vəhdətində dövlət xadimi kimi Azərbaycana olan böyük sevgisindən söhbət açılır. Sonra isə Heydər Əliyevi dövlət başçısı (...) və lider kimi doğru anlamaq üçün Azərbaycanın müstəqilliyini ürəkdən sevmənin zəruri olduğu vurğulanır. (shrink)