Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, we (...) propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

The current and the next issues of “Spazio Filosofico”, both devoted to Festival (Festival I and II respectively), are dedicated to Ugo Perone on the occasion of his 70th birthday. Perone’s friends and colleagues have chosen to celebrate his birthday in a philosophical way, namely, with a reflection on the concept of festival/holiday [festa] and its meaning for us today. Thrifty spirits might object that a journal issue is like a gift – one is enough. Are these not times of (...) economic crisis? There is no real festival, however, without a Zugabe: without an addition, an encore, or a supplement. Hence, two issues, both devoted to a single concept. The choice of the theme has not been accidental – the concept of “festival/holiday” plays in fact an important role in Perone’s thought. In an essay that is often quoted in various contributions to the two issues, Perone understands the pair of concepts “ultimate/penultimate,” which has been discussed by Dietrich Bonhoeffer, in terms of “holidays/everydayness.” For Bonhoeffer, God is present not where human abilities fail but rather “at the center of the village.” Likewise, for Perone, the square, which is the “symbol for the holiday time,” is the center of town. It is even, “at the same time, the center of town and its interruption.” . (shrink)

This paper investigates how the female political movement occurred between 1945 and 1955 in Argentina, specifically within the Feminist Peronist Party. In this paper, the specific objectives are: first, to provide a brief overview of the history of Latin America, placing a focus on the geopolitical context of the region; and second, to briefly present the situation from the perspective of Peronism, including its theoretical, political, economic, and social characteristics. Next, the research focuses on the female movements led by (...) Eva Perón, analyzed using sources from Díaz (2005) and Olguin (2013). The last part points out some criticisms of the Argentine scenario of the time and the social justice movements undertaken by the Peronist Party. Moreover, the theoretical framework includes texts from Barros (2016) and Perrig (2015). For the construction of the idea of Conservative-Progres sivism, the theoretical guiding thread that guides our research is the texts of Barry (2007, 2008, 2011a, 2011b, 2011c). Focus is given especially to those centred on the develop ment of female political movements that consolidated the participation of women in the Ar gentine democratic process and the creation and expansion of the Feminist Peronist Party, ensuring certain political advances for women through what was known as Social Justice. (shrink)

In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally a (...) non-deterministic matrix. The aim of this paper is to obtain a swap structures semantics for some Ivlev-like modal systems proposed in 2015 by M. Coniglio, L. Fariñas del Cerro and N. Peron. Completeness results will be stated by means of the notion of Lindenbaum–Tarski swap structures, which constitute a natural generalization to multialgebras of the concept of Lindenbaum–Tarski algebras. (shrink)

Abstract— Anatomy of the anterior compartment includes the tibia and the fibula. It also includes the tibialis anterior tendon, the extensor hallucis longus tendon and the extensor digitorum longus tendons. The anterior tibial artery and the deep peroneal nerve and finally the superior and inferior extensor retinaculum. In this paper an expert system was designed to help users to correctly diagnose ankle problems. There are many structures present at the anterior aspect of the ankle; these structures are often susceptible to (...) injury common injuries and conditions around the anterior ankle. Clips expert system language was used to design and implement this expert system. (shrink)