This is also where we begin investigating lattices of logics and varieties, rather than particular examples.

It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provable in the former iff its double negation is provable in the latter. We extend Glivenko's theorem and show that for every involutive substructural logic there exists a minimum substructural logic that contains the first via a double negation interpretation. Our presentation is algebraic and is formulated in the context of residuated lattices. In the last part (...) of the paper, we also discuss some extended forms of the Kolmogorov translation and we compare it to the Glivenko translation. (shrink)

Given a positive universal formula in the language of residuated lattices, we construct a recursive basis of equations for a variety, such that a subdirectly irreducible residuated lattice is in the variety exactly when it satisfies the positive universal formula. We use this correspondence to prove, among other things, that the join of two finitely based varieties of commutative residuated lattices is also finitely based. This implies that the intersection of two finitely axiomatized substructural logics over FL + is also (...) finitely axiomatized. Finally, we give examples of cases where the join of two varieties is their Cartesian product. (shrink)

We develop a general algebraic and proof-theoretic study of substructural logics that may lack associativity, along with other structural rules. Our study extends existing work on substructural logics over the full Lambek Calculus [34], Galatos and Ono [18], Galatos et al. [17]). We present a Gentzen-style sequent system that lacks the structural rules of contraction, weakening, exchange and associativity, and can be considered a non-associative formulation of . Moreover, we introduce an equivalent Hilbert-style system and show that the logic associated (...) with and is algebraizable, with the variety of residuated lattice-ordered groupoids with unit serving as its equivalent algebraic semantics. Overcoming technical complications arising from the lack of associativity, we introduce a generalized version of a logical matrix and apply the method of quasicompletions to obtain an algebra and a quasiembedding from the matrix to the algebra. By applying the general result to specific cases, we obtain important logical and algebraic properties, including the cut elimination of and various extensions, the strong separation of , and the finite generation of the variety of residuated lattice-ordered groupoids with unit. (shrink)

Two constructions for adding an involution operator to residuated ordered monoids are investigated. One preserves integrality and the mingle axiom x 2x but fails to preserve the contraction property xx 2. The other has the opposite preservation properties. Both constructions preserve commutativity as well as existent nonempty meets and joins and self-dual order properties. Used in conjunction with either construction, a result of R.T. Brady can be seen to show that the equational theory of commutative distributive residuated lattices (without involution) (...) is decidable, settling a question implicitly posed by P. Jipsen and C. Tsinakis. The corresponding logical result is the (theorem-) decidability of the negation-free axioms and rules of the logic RW, formulated with fusion and the Ackermann constant t. This completes a result of S. Giambrone whose proof relied on the absence of t. (shrink)

Equivalences and translations between consequence relations abound in logic. The notion of equivalence can be defined syntactically, in terms of translations of formulas, and order-theoretically, in terms of the associated lattices of theories. W. Blok and D. Pigozzi proved in [4] that the two definitions coincide in the case of an algebraizable sentential deductive system. A refined treatment of this equivalence was provided by W. Blok and B. Jónsson in [3]. Other authors have extended this result to the cases of (...) k-deductive systems and of consequence relations on associative, commutative, multiple conclusion sequents. Our main result subsumes all existing results in the literature and reveals their common character. The proofs are of order-theoretic and categorical nature. (shrink)

Background: Withdrawal of treatment is a common practice in intensive care units when treatment is considered futile. Compassion is an important aspect of care; however, it has not been explored much within the context of treatment withdrawal in intensive care units. Objectives: The aim was to examine how concepts of compassion are framed, utilised and communicated by intensive care nurses in the context of treatment withdrawal. Design: The study employed a qualitative approach conducting secondary analysis of an original data set. (...) In the primary study, 13 nurses were recruited from three intensive care units within a large hospital in United Kingdom. Deductive framework analysis was used to analyse the data in relation to compassionate care. Ethical considerations: The primary study was approved by the local Research Ethics Committee and the hospital’s Research and Development services. Findings: Compassionate care was mostly directed to the patient’s family and was demonstrated through care and emotional support to the family. It was predominantly expressed through attempts to maintain the patient’s dignity by controlling symptoms, maintaining patient cleanliness and removing technical apparatus. Conclusion: This study’s findings provide insight about compassionate care during treatment withdrawal which could help to understand and develop further clinicians’ roles. Prioritising the family over the patient raised concerns among nurses, who motivated by compassion, may feel justified in taking measures that are in the interests of the family rather than the patient. Further work is needed to explore the ethics of this. (shrink)

Substructural logics have received a lot of attention in recent years from the communities of both logic and algebra. We discuss the algebraization of substructural logics over the full Lambek calculus and their connections to residuated lattices, and establish a weak form of the deduction theorem that is known as parametrized local deduction theorem. Finally, we study certain interpolation properties and explain how they imply the amalgamation property for certain varieties of residuated lattices.

The present study scrutinizes the role of societal culture in cases of sexual violence in Greek sport, as presented in the media after a two times Olympic medalist of Greece fired up the “‘me too’ Movement” in the country. Specifically, data for this study consisted of 36 media articles, reporting multiple cases of sexual abuse and harassment in Greek sport and were published between January 2021 and January 2022. We drew on the cultural praxis heuristic to explore how the cultural (...) setting operates as an underlying factor in priming athletes for harassment and abuse and in oppressing them into not speaking up. Our thematic analysis of media data revealed two overarching themes, namely, keeping the home intact and failed negotiations with power. Based on these findings, we discuss how subtle manifestations of patriarchy and collectivism perpetuate sexualized violence in Greek sport as they promote a climate of silence, prevent safeguarding, maintain underreporting of sexual violence, and delayed the arrival of the #metoo. We conclude that under the current circumstances, change seems to be a threat to all involved in Greek sport, yet for different reasons. For the coaches, sport officials, stakeholders, state system, change would require them to relinquish male powers and authority, find new meaning of what it means to be and do as a man, and allow women to be seen as counterparts. For the female athletes-survivors, it would require them to prioritize the self and their self-care and let go of the in-group loyalty and subordination learned and exhibited from infancy. We also contend that mere translations of international and regional safeguarding guidelines and toolkits cannot foster awareness raising, nor the implementation of measures within cultural settings that divert from the Global North. If we care to combat the universal phenomenon of sexualized violence in sport, a glocal approach is needed, where local socio-cultural factors are acknowledged, their role is addressed, and violence is understood within its context. (shrink)

Name der Zeitschrift: Nietzsche-Studien Jahrgang: 46 Heft: 1 Seiten: 243-244.

Even though effects of High Performance Work Systems (HPWS) on employee performance have been widely investigated, there is no consensus on how this link is achieved. Drawing on Social Exchange Theory (SET), this paper attempts to shed more light in this relationship by investigating the mediating role of affective, normative, and continuance commitment in the relationship between HPWS and employee performance. Moreover, the potential moderating role of employee tenure on the HPWS—organizational commitment link is examined. Using data from 342 subordinates (...) and 115 supervisors from 111 service organizations in Greece, our multilevel analysis shows that affective commitment fully mediates the relationship between HPWS and employee performance. In addition, employee tenure positively moderates the relationships between HPWS and affective and normative commitment. The paper discusses theoretical implications and provides recommendations for practitioners. (shrink)

Seize plaques de marbres du gymnase d’Andros ont été trouvées à l’état fragmentaire. De longueur et largeur irrégulières, mais de hauteur constante, elles vont s’épaississant régulièrement d’un long côté à l’autre. Des graffiti sont inscrits sur le côté vertical et étroit de ces plaques, plus rarement aussi sur un autre côté. Ces plaques rappellent les bancs des gymnases et des palestres où, dans ce que l’on appelle l’ephebeion, les jeunes gens assistaient aux leçons. Les graffiti trouvés dans cette pièce reflètent (...) la vanité des éphèbes. Le soin de la gravure sur deux des plaques (n° 1-2) permet de déduire que les graffiti ont d’abord été inscrits sous les auspices d’un magistrat tel que le gymnasiarque. Le nom de l’éphèbe parvenu à l’âge adulte pouvait être effacé et remplacé par un autre nom, mais la gravure ne révèle plus le même soin. L’étude de la prosopographie d’Andros et du contexte historique permet de dater les plaques du début du IIe s. av. J.-C. leur utilisation s’étendant au cours des IIe et Ier s. av. J.-C. (shrink)

The Bioethics Committee of the Church of Greece, headed by Metropolitan Nikolaos of Mesogaia and Lavreotiki, was founded a few years ago, bringing together clergy, medical and legal experts. In his address, Metropolitan Nikolaos explains the concerns and the conditions that led to its foundation and he outlines some of the activities and the principles of the Committee. This address, a somewhat broad-brush presentation of the state of bioethics in Greece, is offered as a proposal as to how (...) the Church can work within a secular state, and how it can attempt to raise awareness about the spiritual aspect of bioethical concerns. Overall, the Bioethics Committee tries to promote public dialogue about sensitive bioethical issues, and to make sure that the spiritual perspective is duly informed by medical science. In addition, the Committee tries to make sure that the spiritual perspective is considered by the state in the face of existing or emerging law that touches on bioethical concerns. (shrink)

All known structural extensions of the substructural logic $\textbf{FL}_{\textbf{e}}$, the Full Lambek calculus with exchange/commutativity (corresponding to subvarieties of commutative residuated lattices axiomatized by $\{\vee, \cdot, 1\}$ -equations), have decidable theoremhood; in particular all the ones defined by knotted axioms enjoy strong decidability properties (such as the finite embeddability property). We provide infinitely many such extensions that have undecidable theoremhood, by encoding machines with undecidable halting problem. An even bigger class of extensions is shown to have undecidable deducibility problem (the (...) corresponding varieties of residuated lattices have undecidable word problem); actually with very few exceptions, such as the knotted axioms and the other prespinal axioms, we prove that undecidability is ubiquitous. Known undecidability results for non-commutative extensions use an encoding that fails in the presence of commutativity, so and-branching counter machines are employed. Even these machines provide encodings that fail to capture proper extensions of commutativity, therefore we introduce a new variant that works on an exponential scale. The correctness of the encoding is established by employing the theory of residuated frames. (shrink)

This paper deals with axiomatization problems for varieties of residuated meet semilattice-ordered monoids. An internal characterization of the finitely subdirectly irreducible RSs is proved, and it is used to investigate the varieties of RSs within which the finitely based subvarieties are closed under finite joins. It is shown that a variety has this closure property if its finitely subdirectly irreducible members form an elementary class. A syntactic characterization of this hypothesis is proved, and examples are discussed.

Name der Zeitschrift: Internationales Jahrbuch für philosophische Anthropologie Jahrgang: 7 Heft: 1 Seiten: 325-334.

Within a geometric and algebraic framework, the structures which are related to the spin-statistics connection are discussed. A comparison with the Berry-Robbins approach is made. The underlying geometric structure constitutes an additional support for this approach. In our work, a geometric approach to quantum indistinguishability is introduced which allows the treatment of singlevaluedness of wave functions in a global, model independent way.

This study aims to bring together the destructive and constructive dimension of the critical approach vis-à-vis human rights. As such it aims on one hand to reformulate aspects of the critique of the critical legal and political scholarship, whilst attempting to not give up the language of rights entirely to mainstream liberal discourse. What this paper argues is that the language or rights encompasses the regulatory idea of social transformation against structures of domination that should be in the forefront of (...) any critical legal and political debate. Alongside the reformulation of some aspects of the ‘destructive’ dimension of critical thought, this study aims to bring forward a proposition that based on the original problematization of French philosopher Étienne Balibar attempts to offer an alternative view that goes past the current fragmentation of human rights and most importantly the distinction between freedom and equality. The concept of equaliberty rejects the separation between freedom and equality, the separation between the legal and the real, as well as the confusion between the two forms of property and the two forms of solidarity. The present study’s constructive dimension lies with the examination of the implications for law and politics that the introduction of the concept of equaliberty can bring about for the way we discuss human rights today. (shrink)