This paper presents a sequent calculus for the positive relevant logic with necessity and a proof that it admits the elimination of cut.

In Ilić and Boričić, the right-handed cut-free sequent calculus $GRW$ for the contraction-less relevant logic $RW$ is defined. In this paper, we show that the enlargement of the system $GRW$ with the structural rule of intensional contraction presents the sequent system for the principal relevant logic $R$ but the rule of cut cannot be eliminated in $GRW+$.

A natural deduction system NI, for the full propositional intuitionistic logic, is proposed. The operational rules of NI are obtained by the translation from Gentzen’s calculus LJ and the normalization is proved, via translations from sequent calculus derivations to natural deduction derivations and back.

In our paper [3], a sequent system for the contraction‐less positive relevant logic with co‐tenability,, is considered. Its sequent system with the rule of cut, which does not involve the truth constant t, is presented, and the proof that it admits the elimination of cut is given. However, in the proof of the cut‐elimination theorem some forms of proofs, which may cause difficulties for the cut‐elimination argument, are not considered. The purpose of this paper is to present them and to (...) re‐prove that admits the elimination of cut. (shrink)

A normalizable natural deduction formulation, with subformula property, of the implicative fragment of classical logic is presented. A traditional notion of normal deduction is adapted and the corresponding weak normalization theorem is proved. An embedding of the classical logic into the intuitionistic logic, restricted on propositional implicational language, is described as well. We believe that this multiple-conclusion approach places the classical logic in the same plane with the intuitionistic logic, from the proof-theoretical viewpoint.

Referential gaze has been shown to benefit language processing in situated communication in terms of shifting visual attention and leading to shorter reaction times on subsequent tasks. The present study simultaneously assessed both visual attention and, importantly, the immediate cognitive load induced at different stages of sentence processing. We aimed to examine the dynamics of combining visual and linguistic information in creating anticipation for a specific object and the effect this has on language processing. We report evidence from three visual‐world (...) eye‐tracking experiments, showing that referential gaze leads to a shift in visual attention toward the cued object, which consequently lowers the effort required for processing the linguistic reference. Importantly, perceiving and following the gaze cue did not prove costly in terms of cognitive effort, unless the cued object did not fit the verb selectional preferences. (shrink)

This paper discusses the classification of antifeminism presented in the book The High Forehead by the philosopher Gordana Bosanac. In this book, which is entirely dedicated to antifeminism, Gordana Bosanac points out the connection between feminism and antifeminism, where antifeminism is determined by the conservative reception of feminist values and the reaction of basically primitive consciousness. Bosanac determines feminism to be a humanistic and the broadest democratic movement based on tolerance but also on broader world ideas aiming at peace and (...) nature’s right to live. The classification of antifeminism in this paper is contextualized with regard to the emergence of new types of antifeminism and its forms in modern societies, especially in the world of the Internet. The paper concludes that the classification is an extremely valuable and stimulating framework for further research, both theoretical and empirical. Reality did not deny the classification; it remained open to new phenomena of antifeminism and the connection that antifeminism has with the new right and right-wing social movements. (shrink)

The connection between the rules and derivations of Gentzen’s calculiNJandLJwill be explained by several steps (i.e., systems), and an analysis of the well-known problems of the connection between reduction steps of normalization and cut elimination, from Zucker (1974) and Urban (2014), will be given.

This short enquiry investigates the relationships between knowledge of English and attitude towards the English language as held by Japanese university students. The goal of this study was to gain a better understanding of how attitude affects the learning of English and whether gender or geographic location of a student ’s hometown plays a role. A random sample of 85 participants completed a 26 item questionnaire which measured background information, attitude to English and knowledge of English. The difference in English (...) knowledge over several prefectures was tested using ANOVA and the results indicated that there was no statistical difference observed. Difference in attitude to English between male and female students was tested using a t-test and no statistical difference was observed. Pearson Correlation was used to test for any relationship between knowledge and attitude to English, but again no statistical different relationship was found. In addition , Multiple Regression was used to determine if there was a linear relationship between knowledge of English, and the 3 variables attitude to English, gender and prefecture. Again there was no statistically significant linear relationship between these variable. (shrink)

This paper represents an attempt to better understand the educational expectations of Japanese university students. Eighty students were asked to indicate whether or not they felt there was some relationship between 24 English words. The results were then added and entered into a table where the number at each intersection of words represented the total number of students that felt there relationship between those two words. This table was then analyzed using Multidimensional Scaling to produce a two dimension plot representing (...) the relationship between these 24 words. Since the distance between the words the plot represents the level of similarity, a study of the result gives some insight into the educational expectations of these students. A description of the data collection and analysis, as well as, one possible interpretation of the results is included. (shrink)

In derivations of a sequent system, $\mathcal{L}\mathcal{J}$, and a natural deduction system, $\mathcal{N}\mathcal{J}$, the trails of formulae and the subformula property based on these trails will be defined. The derivations of $\mathcal{N}\mathcal{J}$ and $\mathcal{L}\mathcal{J}$ will be connected by the map $g$, and it will be proved the following: an $\mathcal{N}\mathcal{J}$-derivation is normal $\Longleftrightarrow $ it has the subformula property based on trails $\Longleftrightarrow $ its $g$-image in $\mathcal{L}\mathcal{J}$ is without maximum cuts $\Longrightarrow $ that $g$-image has the subformula property based (...) on trails. In $\mathcal{L}\mathcal{J}$-derivations, another type of cuts, sub-cuts, will be introduced, and it will be proved the following: all cuts of an $\mathcal{L}\mathcal{J}$-derivation are sub-cuts $\Longleftrightarrow $ it has the subformula property based on trails. (shrink)

This paper presents the results of an attempt to adapt the technology acceptance model to a questionnaire to indicate whether or not the Moodle content management system was accepted by 147 Japanese University English language students. The questionnaire consisted of 13 items based on the factors of usefulness and ease-of-use. A factor analysis was performed on the results to ensure the number of underlying factors explaining the data. The result indicated that 2 factors explained more than 94% of item variation. (...) In addition, a discussion of the individual participant answers demonstrated that more than 85% of participants of this study accepted the Moodle system as both useful and easy to use. (shrink)

This paper presents a cut-elimination procedure for classical and intuitionistic logic, in which cut is eliminated directly, without introducing the mix rule. The well-known problem of cut eliminations, when in the derivation the contractions of the cut-formulae are above the premisses of the cut, will be solved by new transformations of the derivation.

The new techniques and ideas in quantum interferometry with neutrons, photons, atoms, electrons, and Bose condensates that fluorished in the last two decades have influenced in a decisive way the thinking and the research in the foundations and interpretation of quantum mechanics. The controversies existing among different schools on the reality of matter waves of quantum theory, the postulates of quantum measurement theory, and the (in)completeness of quantum mechanics have to be approached now in a new way. Our argumentation follows (...) the spirit of the Paris school. (shrink)

A new set of conversions for derivations in the system of sequents for intuitionistic predicate logic will be defined. These conversions will be some modifications of Zucker's conversions from the system of sequents from [11], which will have the following characteristics: (1) these conversions will be sufficient for transforming a derivation into a cut-free one, and (2) in the natural deduction the image of each of these conversions will be either in the set of conversions for normalization procedure, or an (...) identity of derivations. This will be used to give a new proof of the normalization theorem for natural deduction, as a consequence of the cut-elimination theorem for the system of sequents. (shrink)

In this paper we give a new proof of cut elimination in Gentzen's sequent system for intuitionistic first-order predicate logic. The point of this proof is that the elimination procedure eliminates the cut rule itself, rather than the mix rule.

The well-known picture that sequent derivations without cuts and normal derivations “are the same” will be changed. Sequent derivations without maximum cuts (i.e. special cuts which correspond to maximum segments from natural deduction) will be considered. It will be shown that the natural deduction image of a sequent derivation without maximum cuts is a normal derivation, and the sequent image of a normal derivation is a derivation without maximum cuts. The main consequence of that property will be that sequent derivations (...) without maximum cuts and normal derivations “are the same”. (shrink)

The end of the bi-polar world and the collapse of communist regimes triggered an unprecedented mobility of people and heralded a new phase in European migrations. Eastern Europeans were now not only ‘free to leave’ to the West but more exactly ‘free to leave and to come back’. In this text I will focus on gendered transnational, cross-border practices and capabilities of Central and Eastern Europeans on the move, who use their spatial mobility to adapt to the new context of (...) post-communist transition. We are dealing here with practices that are very different from those which the literature on ‘immigrant transnationalism’ is mostly about. Rather than relying on transnational networking for improving their condition in the country of their settlement, they tend to ‘settle within mobility,’ staying mobile ‘as long as they can’ in order to improve or maintain the quality of life at home. Their experience of migration thus becomes their lifestyle, their leaving home and going away, paradoxically, a strategy of staying at home, and, thus, an alternative to what migration is usually considered to be — emigration/immigration. Access to and management of mobility is gendered and dependent on institutional context. Mobility as a strategy can be empowering, a resource, a tool for social innovation and agency and an important dimension of social capital — if under the migrants’ own control. However, mobility may reflect increased dependencies, proliferation of precarious jobs and, as in the case of trafficking in women, lack of mobility and freedom. (shrink)

In this paper we present two types of logics and \ ) where certain p-adic functions are associated to propositional formulas. Logics of the former type are p-adic valued probability logics. In each of these logics we use probability formulas K r,ρ α and D ρ α,β which enable us to make sentences of the form “the probability of α belongs to the p-adic ball with the center r and the radius ρ”, and “the p-adic distance between the probabilities of (...) α and β is less than or equal to ρ”, respectively. Logics of the later type formalize processes of thinking where information are coded by p-adic numbers. We use the same operators as above, but in this formalism K r,ρ α means “the p-adic code of the information α belongs to the p-adic ball with the center r and the radius ρ”, while D ρ α,β means “the p-adic distance between codes of α and β are less than or equal to ρ”. The corresponding strongly complete axiom systems are presented and decidability of the satisfiability problem for each logic is proved. (shrink)

The paper offers a formalization of reasoning about distributed multi-agent systems. The presented propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| is developed in full detail: syntax, semantics, soundness and strong completeness theorems. As an example, we prove consistency of the blockchain protocol with respect to the given set of axioms expressed in the formal language of the logic. We explain how to extend |$\textbf {PTEL}$| to axiomatize the corresponding first-order logic.

In the text the author considers politics of interpretation of South-Slavic peoples' recent past, which was demonstrated by the most prominent activists of Serbian non-governmental organizations. By summarizing the interpretation in a few points, the author attempts to identify its key features: arrogance and extremism as a style, counter factuality as a strategy and anti-Serbian nationalism and racism as an ideological strongpoint. In the final section of the text, what is pleaded is a precise legal regulation of that delicate area (...) of civil activism, which in the last decade has presented a malignant protuberance on destroyed social tissue of Serbia and serious threat to the rest of its considerably lost national interests. U tekstu se razmatra politika interpretiranja novije jugoslovenske proslosti, kakvu je u protekloj deceniji praktikovalo nekoliko najprominentnijih aktivista srbijanskih nevladinih organizacija, nominalno usmerenih zastiti i unapredjenju ljudskih prava, promociji vrednosti mira i nenasilja, multikulturalizma i tolerancije. Sazimajuci njihovu interpretaciju nedavne proslosti jugoslovenskih naroda u nekoliko tacaka, autorka identifikuje kljucne karakteristike jedne nove i vulgarne - interpretatorske politicnosti, kakvu su ove nevladine organizacije demonstrirale u proteklom desetlecu svoga delovanja na srbijanskoj javnoj sceni: arogantnost i ekstremizam kao stil, falsifikatorstvo i kontrafaktualnost kao strategiju i antisrpski nacionalizam i rasizam kao ideolosko uporiste. U zakljucnom delu teksta autorka pledira za precizno zakonsko regulisanje ove delikatne oblasti civilnog delovanja, koje bi jasno definisalo sve njegove vaznije aspekte. (shrink)

U tekstu se razmatra priroda medjunarodnih odnosa i medjunarodne politike kakva se uoblicava nakon kraja Hladnog rata, politike ciji pravac u preteznoj meri odredjuju SAD kao jedina preostala super-sila. Namera autora je da ukaze na kljucne tacke divergencije moralno-vrednosne retorike i spoljno-politicke pragmatike ove mega-drzave. U tom smislu, razmatraju se slucajevi americkog stava, odnosno aktivnog tretmana dva dogadjaja koji su u politicko-bezbednosnom pogledu obelezili proteklu deceniju u svetsko-istorijskim razmerama - raspad/razbijanje Jugoslavije i kriza u Persijskom zalivu. Zakljucak autorke je da (...) spoljna politika aktualne super-sile jos uvek usmeravana real-politickim, odnosno interesnim, pre nego moralno-vrednosnim motivima. U zavrsnom delu rada razmatraju se antropoloski argumenti za vaspostavljanje narusenog "balansa moci" na globalnom nivou kao jedinog garanta mira i stabilnosti u svetu.. (shrink)

U radu na ovom individualnom projektu bice razmatran odnos interesa i morala u politici s posebnim osvrtom na proces razbijanja Jugoslavije i projekat globalizacije. Osnovna istrazivacka hipoteza koja se u radu nastoji potvrditi jeste da je remoralizacija svetske politike kojom su se na retorickom nivou legitimisali pomenuti procesi ostala na nivou na kojem se i zacela, odnosno da su u odnosima politickih aktera na globalnom, bas kao i na lokalnom nivou, i dalje na snazi moderni principi real-politike sa interesom kao (...) centralnom kategorijom politickog zivota i moci kao vrhovnom politickom vrednoscu. U tom kontekstu posebna paznja bice posvecena razmatranju kljucnih elemenata spoljnopoliticke tehnologije SAD kao glavnog aktera pomenutih procesa. U zakljucnom delu rada obrazlaze se potreba za jednim novim konceptom i praksom globalne politike koja bi uspesnije resavala krupne probleme pred kojima se covecanstvo naslo na razmedju dva veka i dva milenijuma. (shrink)

A compatible statistical interpretation of a wave packet is proposed. De Broglian probabilities which unite wave and particle features of quantons are evaluated for free wave packets and Jor a superposition of wave packets. The obtained expressions provide a very plausible and physically appealing explanation of coherence in apparently incoherent beams and of the characteristic modulation of the momentum distribution, found recently in neutron interferometry combined with spectral filtering. Certain conclusions about dualism and objectivity in quantum domain are also derived.

A special kind of maximum cuts in sequent derivations, actual maximum cuts, is defined. It is shown that (1) each actual maximum cut of a sequent derivation makes maximum segments in its natural deduction image, and (2) each maximum segment of a natural deduction derivation makes an actual maximum cut in its sequent image.

In the sequent systems for exponential-free linear logic and BCK logic a procedure of elimination of maximum cuts, cuts which correspond to maximum segments from natural deduction derivations, will be presented.

We study a propositional probabilistic temporal epistemic logic |$\textbf {PTEL}$| with both future and past temporal operators, with non-rigid set of agents and the operators for agents’ knowledge and for common knowledge and with probabilities defined on the sets of runs and on the sets of possible worlds. A semantics is given by a class |${\scriptsize{\rm Mod}}$| of Kripke-like models with possible worlds. We prove decidability of |$\textbf {PTEL}$| by showing that checking satisfiability of a formula in |${\scriptsize{\rm Mod}}$| is (...) equivalent to checking its satisfiability in a finite set of finitely representable structures. The same procedure can be applied to the class of all synchronous |${\scriptsize{\rm Mod}}$|-models. We give an upper complexity bound for the satisfiability problem for |${\scriptsize{\rm Mod}}$|⁠. (shrink)

Predmet ovog rada su eticki aspekti agresije NATO na SRJ, odnosno Srbiju, sprovodjene od marta do juna 1999. godine. Rad je koncipiran kao svojevrstan kriticki dijalog sa J. Habermasom, odnosno njegovim stavovima iznesenim u tekstu?Bestijalnost i humanost - rat na granici prava i morala?. Nakon kraceg prikaza Habermasovog stanovista, u uvodnom delu rada autorka razmatra moralne implikacije njegovog stava o hirurskoj preciznosti bombardovanja i principu postede civilnog stanovnistva kao karakteristikama ove agresije od, kako tvrdi ovaj autor, visokog legitimirajuceg znacaja. Potom (...) se usredsredjuje na kljucni, deklarativno moralni argument kojim se agresija opravdavala - zastita ugrozenih ljudskih prava kosmetskih Albanaca i sprecavanje humanitarne katastrofe kojoj su, kako se tvrdilo, bili izlozeni. Temeljnom analizom ovog argumenta, koju autorka sprovodi u nekoliko koraka, ona zakljucuje da agresija nije bila, kako je Habermas tvrdio, rat na granici prava i morala, vec s onu stranu i prava i morala, situirana duboko u domen interesno motivisanih oruzanih akata americke spoljne politike. PR Projekat Ministarstva nauke Republike Srbije, br. 43007. (shrink)

The article contains an explanation of the topic to be dealt with by the author in the next research cycle. In the first part of the article author try to identify the main obstacles facing Serbia in the imperative processes of its European integrations. According to the author, those obstacles are numerous and mostly unique, based on the fact that in the last decade Serbian people was a subject of complete state disintegration to which the most powerful external contribution was (...) given by the USA and Western Europe itself. In spite of those obstacles, Serbia faces inevitable duty to carry out a complete political, economic and cultural reconstitution of its destroyed society as a condition sine qua non its own survival and successful development. In the final section of the text, what is pleaded is realistic approach to the multitude of the problems facing Serbia on the threshold of the new millennium. (shrink)

Participation in deliberation in stable democracies produces effects which are beneficial for democracy, while the results of deliberative innovations in non-democracies are more ambiguous. This article contributes to the debate about the effects of participatory democratic innovations on attitudes, related to democratic commitments, political capacities and political participation, in the increasingly ubiquitous hybrid regimes. We present the evidence collected from the participants before and after deliberative mini publics (DMPs), held in Serbia in 2020. Serbia is an exemplary case of a (...) recent wave of autocratization, which had led to it becoming a hybrid regime, and it had no track record of deliberative innovations. When conducting the mini publics, we introduced an innovation in the standard design, by including active citizens - representatives of local initiatives or social movements particularly interested in the issue of DMPs. We could not find evidence that the democratic innovation affected attitudes of participants regarding democratic commitments, political capacities and political participation. However, we did find that participants of the DMPs became less satisfied with the functioning of the democracy on the local level. We argue that the anti-democratic wider context of hybrid regimes can produce adverse effects when introducing participatory democratic innovations, at least when it comes to this specific dimension of political participation. We conclude with the suggestions for further research, and a call for consideration of the wider political context when designing democratic interventions in hybrid regimes. (shrink)

Political discourse is primarily identified as political action, the discourse of deliberating which course of action to follow in accordance with specific political goals. A pragmatic analysis of various sub-genres of political discourse can identify the preference for particular speech acts. The first aim of this paper is to analyze commissive and expressive illocutionary acts in political speeches, as indicators of personal involvement of political speakers, notorious for vagueness and avoiding commitment. A corpus of Serbian, American and British political speeches (...) that address the issue of economic standard of living has been examined to identify commissive illocutionary acts as indicators of politicians’ explicit commitment to a chosen course of action, and expressive illocutionary acts as indicators of politicians’ explicit attitudes to their own or other politicians’ chosen practices. The analysis classifies subtypes of commissives and expressives in the corpus and identifies illocutionary force indicating devices that constitute them in English and in Serbian, after which the resulting classifications are compared and contrasted. The research results are aimed at explaining the hypothesis that a specific use/lack of commissives and expressives can be the politician’s strategy for adding credibility to their speeches, and in that way, swaying public opinion to serve the politician’s interest; conversely, establishing the relation between the use/lack of these illocutionary acts and the politician’s commitment to actions can be a method for exposing the politician’s lack of credibility and accountability. (shrink)