Left-continuous t-norms are much more complicated than the continuous ones, and obtaining a complete classification of them seems to be a very hard task. In this paper we investigate some aspects of left-continuous t-norms, with emphasis on their continuity points. In particular, we are interested in left-continuous t-norms which are isomorphic to t-norms which are continuous in the rationals. We characterize such a class, and we prove that it contains the class of all weakly cancellative left-continuous t-norms.

In the present paper we show that any at most countable linearly-ordered commutative residuated lattice can be embedded into a commutative residuated lattice on the real unit interval [0, 1]. We use this result to show that Esteva and Godo''s logic MTL is complete with respect to interpretations into commutative residuated lattices on [0, 1]. This solves an open problem raised in.

We introduce the notion of a dice model as a framework for describing a class of probabilistic relations. We investigate the transitivity of the probabilistic relation generated by a dice model and prove that it is a special type of cycle-transitivity that is situated between moderate stochastic transitivity or product-transitivity on the one side, and Lukasiewicz-transitivity on the other side. Finally, it is shown that any probabilistic relation with rational elements on a three-dimensional space of alternatives which possesses this particular (...) type of cycle-transitivity, can be represented by a dice model. The same does not hold in higher dimensions. (shrink)

Hahn’s embedding theorem asserts that linearly ordered abelian groups embed in some lexicographic product of real groups. Hahn’s theorem is generalized to a class of residuated semigroups in this paper, namely, to odd involutive commutative residuated chains which possess only finitely many idempotent elements. To this end, the partial lexicographic product construction is introduced to construct new odd involutive commutative residuated lattices from a pair of odd involutive commutative residuated lattices, and a representation theorem for odd involutive commutative residuated chains (...) which possess only finitely many idempotent elements, by means of linearly ordered abelian groups and the partial lexicographic product construction is presented. (shrink)

The authors of the article are trying to identify the signs of a crisis of our time as a consequence of the refusal from the philosophical justification of the goals and objectives of scientific pedagogy, which as a chain reaction entail ignoring the results of sciences related to pedagogy: neurobiology and psychology. The reproductive approach in education selectively takes into account the results of the empirical sciences, as they serve to justify it. The result is a shift in emphasis: being (...) driven by the hypothetical imperatives of competitiveness in the labor market, teachers and other adults feel the need for the achievements of the pupils, for their effectiveness. As a consequence, the child's psyche does not develop properly which manifests itself in the inability to see the subjects of interaction in the vis-a-vis, in an effort to objectify what is not subject to objectification - a person. The authors of the article see the solution to the problem in the appeal in the philosophical and pedagogical system of I. Kant, that may be reconstructed from his works. The authors of the article conclude that I. Kant may rightfully be considered the founder of a productive approach to education. (shrink)

We generalize the notions of Girard algebras and MV-algebras by introducing rotation-invariant semigroups. Based on a geometrical characterization, we present five construction methods which result in rotation-invariant semigroups and in particular, Girard algebras and MV-algebras. We characterize divisibility of MV-algebras, and point out that integrality of Girard algebras follows from their other axioms.

Let be the class of odd involutive even the notion of partial lex products is not sufficiently general. One more tweak is needed, a slightly even more complex construction, called partial sublex product, introduced here.

A new structure, called equality algebras, will be introduced. It has two connectives, a meet operation and an equivalence, and a constant. A closure operator will be defined in the class of equality algebras, and we call the closed algebras equivalential. We show that equivalential equality algebras are term equivalent with BCK-algebras with meet. As a by-product, we obtain a quite general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the equivalential (...) fragment of BCK-algebras with meet. (shrink)

We generalize the notions of Girard algebras and MV-algebras by introducing rotation-invariant semigroups. Based on a geometrical characterization, we present five construction methods which result in rotation-invariant semigroups and in particular, Girard algebras and MV-algebras. We characterize divisibility of MV-algebras, and point out that integrality of Girard algebras follows from their other axioms.

A new structure, called pseudo equality algebras, will be introduced. It has a constant and three connectives: a meet operation and two equivalences. A closure operator will be introduced in the class of pseudo equality algebras; we call the closed algebras equivalential. We show that equivalential pseudo equality algebras are term equivalent with pseudo BCK-meet-semilattices. As a by-product we obtain a general result, which is analogous to a result of Kabziński and Wroński: we provide an equational characterization for the equivalence (...) operations of pseudo BCK-meet-semilattices. Our result treats a much more general algebraic structure, namely, pseudo BCK-meet-semilattice instead of Heyting algebras, on the other hand, we also need to use the meet operation. Finally, we prove that the variety of pseudo equality algebras is a subtractive, 1-regular, arithmetical variety. (shrink)

It is shown that, under certain conditions, a subset of the graph of a commutative residuated chain is invariant under a geometric reflection. This result implies that a certain part of the graph of the monoidal operation of a commutative residuated chain determines another part of the graph via the reflection on one hand, and tells us about the structure of continuity points of the monoidal operation on the other. Finally, these results are applied for the subdomains of uniqueness problem, (...) yielding new results. (shrink)

The paper deals with involutive FLe-monoids, that is, commutative residuated, partially-ordered monoids with an involutive negation. Involutive FLe-monoids over lattices are exactly involutive FLe-algebras, the algebraic counterparts of the substructural logic IUL. A cone representation is given for conic involutive FLe-monoids, along with a new construction method, called twin-rotation. Some classes of finite involutive FLe-chains are classified by using the notion of rank of involutive FLe-chains, and a kind of duality is developed between positive and non-positive rank algebras. As a (...) side effect, it is shown that the substructural logic IUL plus t ↔ f does not have the finite model property. (shrink)

Classification of certain group-like FL $_e$ -chains is given: We define absorbent-continuity of FL $_e$ -algebras, along with the notion of subreal chains, and classify absorbent-continuous, group-like FL $_e$ -algebras over subreal chains: The algebra is determined by its negative cone, and the negative cone can only be chosen from a certain subclass of BL-chains, namely, one with components which are either cancellative (that is, those components are negative cones of totally ordered Abelian groups) or two-element MV-algebras, and with no (...) two consecutive cancellative components. It is shown that the classification theorem does not hold if we drop the absorbent-continuity condition. Our result is the first classification theorem in the literature on FL $_e$ -algebras that does not assume the condition of being naturally ordered (which, under certain conditions, corresponds to continuity of the monoid operation). In our classification theorem, continuity is replaced by the much weaker absorbent-continuity. (shrink)

A Correction to this paper has been published: 10.1007/s11225-020-09933-y.

For odd and for even involutive, commutative residuated chains a representation theorem is presented in this paper by means of direct systems of abelian o-groups equipped with further structure. This generalizes the corresponding result of J. M. Dunnabout finite Sugihara monoids.

An algebraic proof is presented for the finite strong standard completeness of the Involutive Uninorm Logic with Fixed Point ($${{\mathbf {IUL}}^{fp}}$$ IUL fp ). It may provide a first step towards settling the standard completeness problem for the Involutive Uninorm Logic ($${\mathbf {IUL}}$$ IUL, posed in G. Metcalfe, F. Montagna. (J Symb Log 72:834–864, 2007)) in an algebraic manner. The result is proved via an embedding theorem which is based on the structural description of the class of odd involutive FL$$_e$$ (...) e -chains which have finitely many positive idempotent elements. (shrink)

ABSTRACT A new algebraic construction -called rotation- is introduced in this paper which from any left-continuous triangular norm which has no zero divisors produces a left-continuous but not continuous triangular norm with strong induced negation. An infinite number of new families of such triangular norms can be constructed in this way which provides a huge spectrum of choice for e.g. logical and set theoretical connectives in non-classical logic and in fuzzy theory. On the other hand, the introduced construction brings us (...) closer to the understanding the structure of these connectives and the corresponding logics. From the application point of view, results of this paper can be especially useful in the field of non-classical logic, fuzzy sets, and fuzzy preference modeling. (shrink)

This paper is the continuation of [11] where the rotation construction of left-continuous triangular norms was presented. Here the class of triangular subnorms and a second construction, called rotation-annihilation, are introduced: Let T1 be a left-continuous triangular norm. If T1 has no zero divisors then let T2 be a left-continuous rotation invariant t-subnorm. If T1 has zero divisors then let T2 be a left-continuous rotation invariant triangular norm. From each such pair the rotation-annihilation construction produces a left-continuous triangular norm with (...) strong induced negation. An infinite number of new families of such triangular norms can be constructed in this way, and this further extends our spectrum of choice for the proper triangular norm e.g. in probabilistic metric spaces, or for logical and set theoretical connectives in non-classical logic, or e.g. in fuzzy sets theory and its applications. On the other hand, the introduced construction brings us closer to the understanding of the structure of these operations. (shrink)

In print for the first time in over ten years, Act and Crime provides a unified account of the theory of action presupposed by both Anglo-American criminal law and the morality that underlies it. The book defends the view that human actions are always volitionally caused bodily movements and nothing else. The theory is used to illuminate three major problems in the drafting and the interpretation of criminal codes: 1) what the voluntary act requirement both does and should require; 2) (...) what complex descriptions of actions prohibited by criminal codes both do and should require ; and 3) when two actions are 'the same' for purposes of assessing whether multiple prosecutions and multiple punishments are warranted. The book both contributes to the development of a coherent theory of action in philosophy, and it provides both legislators and judges a grounding in three of the most basic elements of criminal liability. (shrink)

In this short, dense essay, Jean Cavaillès evaluates philosophical efforts to determine the origin - logical or ontological - of scientific thought, arguing that, rather than seeking to found science in original intentional acts, a priori meanings, or foundational logical relations, any adequate theory must involve a history of the concept. Cavaillès insists on a historical epistemology that is conceptual rather than phenomenological, and a logic that is dialectical rather than transcendental. His famous call (cited by Foucault) to abandon "a (...) philosophy of consciousness" for "a philosophy of the concept" was crucial in displacing the focus of philosophical enquiry from aprioristic foundations toward structural historical shifts in the conceptual fabric. This new translation of Cavaillès's final work, written in 1942 during his imprisonment for Resistance activities, presents an opportunity to reencounter an original and lucid thinker. Cavaillès's subtle adjudication between positivistic claims that science has no need of philosophy, and philosophers' obstinate disregard for actual scientific events, speaks to a dilemma that remains pertinent for us today. His affirmation of the authority of scientific thinking combined with his commitment to conceptual creation yields a radical defense of the freedom of thought and the possibility of the new. (shrink)

Tri filosofskikh "opravdanii︠a︡" (teodit︠s︡ei︠a︡, antropodit︠s︡ei︠a︡, kosmodit︠s︡ei︠a︡ Serebri︠a︡nogo veka) -- Russkai︠a︡ sofiologii︠a︡ i kabbala -- S. Bulgakov : nauka sofiologii︠a︡ (ili konet︠s︡ religii) -- Tretiĭ Zavet o. Sergii︠a︡ Bulgakova -- Tretʹezavetnai︠a︡ misterii︠a︡ ("malai︠a︡" trilogii︠a︡ Bulgakova).

v. 1. pt. 1. Babaji's glimpses of the Tamil 18 Siddhas. pt. 2. [non-Roman data].

In Alfonso de Cartagena's 'Memoriale virtutum' (1422) María Morrás and Jeremy Lawrance offer a new edition from the manuscripts of a compilation of Aristotle's Nicomachean Ethics addressed by the major Castilian intellectual of the day, bishop Alfonso de Cartagena, to the heir to the throne of Portugal, crown prince Duarte. The work was a speculum principis, an education for the future king in the virtues suitable to a statesman; Cartagena's choice of Aristotle was thus a significant index of the advent (...) of new Renaissance ideas. This edition shows how the "memorial" throws light on the ideological transformation of society those ideas would bring, setting new ethical guidelines for the ruling class at the crossroads between medieval feudalism and Renaissance absolutism. (shrink)

Contributors to this volume consider the implications of 'the Age of Breath': a spiritual shift in human awareness to the needs of the other figured through breathing.

Verse treatises on Advaita Jaina, and Nyaya philosophy.