A recent paper by Jakl, Jung and Pultr succeeded for the first time in establishing a very natural link between bilattice logic and the duality theory of d-frames and bitopological spaces. In this paper we further exploit, extend and investigate this link from an algebraic and a logical point of view. In particular, we introduce classes of algebras that extend bilattices, d-frames and N4-lattices to a setting in which the negation is not necessarily involutive, and we study corresponding logics. (...) We provide product representation theorems for these algebras, as well as completeness, algebraizability results for the corresponding logics. (shrink)

In [5] we study Nonassociative Lambek Calculus augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus. Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.

‘Creative Involution’ posits something of a philosophical genealogy, a line of flight that has neither need for nor interest in the periodisation of Modernism, a line of which Beckett (even reluctantly) is part. Murphy, among others, is deterritorialised as much as Beckett's landscapes are, and so he/they become a ‘complexification’ of being that manifests itself in Beckett not as represented, representative or a representation, since so much of Beckett deals with that which cannot be uttered, known or represented, but whose (...) image the works (and its figures) have become, a thinking through of negativity, becoming, and multiplicity through non-Newtonian motion, of being as becoming, where every movement brings something new into the world, but in something of a reverse Darwinism that moves from complex to simple organism, from Murphy to Worm, or Watt to Pim, or among the nameless figures in the short prose, a ‘becoming-animal’, in something not so much of a creative devolution but rather a ‘neoevolution’, or to adopt another term from Deleuze and Guattari, an ‘involution’, which ‘is in no way confused with regression’ (1987: 238), becomings creating nothing less than new worlds. Writing casually to his post-war confidant Georges Duthuit on 26 July 1951, Beckett noted in the midst of gardening chores, ‘Never seen so many butterflies in such worm-state, this little central cylinder, the only flesh, is the worm’ (2011: 271). The observation comes after the writing but before the premiere performance of Waiting for Godot in which Gogo tells Didi, ‘You and your landscapes! Tell me about the worms!’ (1954: 67). Such ‘becoming-animal always involves a pack, a band, a population, a peopling, in short a multiplicity’ (1987: 239), Deleuze and Guattari tell us. For Beckett it defines creativity as well, only possible through such un-tethered selves or beings, amid the generation of varieties and differences, accessible through moments of deterritorialisation, characterised by, ‘A fearsome involution calling us toward unheard-of becomings’ (240). (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)

Residuated fuzzy logic calculi are related to continuous t-norms, which are used as truth functions for conjunction, and their residua as truth functions for implication. In these logics, a negation is also definable from the implication and the truth constant $\overline{0}$ , namely $\neg \varphi$ is $\varphi \to \overline{0}$. However, this negation behaves quite differently depending on the t-norm. For a nilpotent t-norm (a t-norm which is isomorphic to Łukasiewicz t-norm), it turns out that $\neg$ is an involutive negation. (...) However, for t-norms without non-trivial zero divisors, $\neg$ is Gödel negation. In this paper we investigate the residuated fuzzy logics arising from continuous t-norms without non-trivial zero divisors and extended with an involutive negation. (shrink)

The role played by the symmetric structure of a group of finite Morley rank without involutions in the proof by contradiction of Frécon 2018 was put in evidence in Poizat 2018; indeed, this proof consists in the construction of a symmetric space of dimension two (“a plane”), and then in showing that such a plane cannot exist.To a definable symmetric subset of such a group are associated symmetries and transvections, that we undertake here to study in the abstract, without mentioning (...) a group envelopping them. This leads us to consider axiomatically defined structures that we callsymmetrons(preferably todyadic symmetric setsas was done in Lawson & Lim 2004).Glauberman's$Z^*$-Theorem allows to elucidate completely the structure of the finite symmetrons: each of them is isomorphic to the set of symmetries associated to a symmetric subspace of a finite group without involutions, which is far from being uniquely determined. In fact, there exist non-isomorphic finite groups which have the same symmetries, and also finite symmetrons which are not isomorphic to the symmetries of a group.The situation is not so clear in the case of symmetrons of finite Morley rank, or even algebraic, which are the main objects of study of this paper. But in spite of the fact that a symmetron be a structure much weaker that a group, we can extend to symmetrons some well-known results concerning groups of finite Morley rank: chain condition, decomposition into connected components, characterisation of the generic definable subsets, elliptic generation, etc. These properties are new even in the case of a symmetric subspace of a group, and allow to bypass the computations made by Frécon during the construction of his paradoxical plane.Moreover, assuming the Algebricity Conjecture, we generalize Glauberman's Theorem to the finite Morley rank context. (shrink)

In this paper we study intermediate logics between the logic G≤∼, the degree preserving companion of Gödel fuzzy logic with involution G∼ and classical propositional logic CPL, as well as the intermediate logics of their finite-valued counterparts G≤n∼. Although G≤∼ and G≤ are explosive w.r.t. Gödel negation ¬, they are paraconsistent w.r.t. the involutive negation ∼. We introduce the notion of saturated paraconsistency, a weaker notion than ideal paraconsistency, and we fully characterize the ideal and the saturated paraconsistent logics (...) between G≤n∼ and CPL. We also identify a large family of saturated paraconsistent logics in the family of intermediate logics for degree-preserving finite-valued Łukasiewicz logics. (shrink)

Several investigations in probability theory and the theory of expert systems show that it is important to search for some reasonable generalizations of fuzzy logics (e.g. Łukasiewicz, Gödel or product logic) having a non-associative conjunction. In the present paper, we offer a non-associative fuzzy logic L CBA having as an equivalent algebraic semantics lattices with section antitone involutions satisfying the contraposition law, so-called commutative basic algebras. The class (variety) CBA of commutative basic algebras was intensively studied in several recent papers (...) and includes the class of MV-algebras. We show that the logic L CBA is very close to the Łukasiewicz one, both having the same finite models, and can be understood as its non-associative generalization. (shrink)

ABSTRACT In an unpublished paper, we prove the equivalence between validity in 3L-models and algebraic validity in 3-valued Lukasiewicz algebras. R. Cignoli and M. Sagastume de Gallego present in [4] an intrinsic definition of the operators s, for i = 1,…,4 of a 5-valued Lukasiewicz algebra. The aim of the present work is to study those operators in g-Kripke models context and to generalize the result obtained for 3L-models in [9] by proving that there exist g-Kripke models appropriate for 5-valued (...) Lukasiewicz propositional calculus. As a corollary, we find the models for 4 and 3-valued Lukasiewicz propositional calculi. (shrink)

The Reign of Quantity gives a concise but comprehensive view of the present state of affairs in the world, as it appears from the point of view of the 'ancient wisdom', formerly common both to the East and to the West, but now almost entirely lost sight of. The author indicates with his fabled clarity and directness the precise nature of the modern deviation, and devotes special attention to the development of modern philosophy and science, and to the part played (...) by them, with their accompanying notions of progress and evolution, in the formation of the industrial and democratic society which we now regard as 'normal'. Guénon sees history as a descent from Form (or Quality) toward Matter (or Quantity); but after the Reign of Quantity-modern materialism and the 'rise of the masses'-Guénon predicts a reign of 'inverted quality' just before the end of the age: the triumph of the 'counter-initiation', the kingdom of Antichrist. This text is considered the magnum opus among Guénon's texts of civilizational criticism, as is Symbols of Sacred Science among his studies on symbols and cosmology, and Man and His Becoming according to the Vedanta among his more purely metaphysical works. (shrink)

A study of the constitution and development of the human being from the metaphysical point of view, with special reference to Vedantic doctrine.

Description: Contents: Preface 1. General Remarks on the Vedanta 2. Fundamental Distinction Between The Self and the Ego 3. The Vital Centre of the Human Being, Seat of Brahma 4. Purusha and Prakriti 5. Purusha Unaffected by Individual Modifications 6. The Degrees of Individual Manifestation 7. Buddhi or the Higher Intellect 8. Manas or the Inward Sense : The Ten External Faculties of Sensation and Action 9. The Envelopes of the Self ; The Five Vayus or Vital Functions 10. The (...) Essential Unity and Identity of the Self in all the States of the Being 11. The Different Conditions of Atma in the Human Being 12. The Waking State or the Condition of Vaishwanara 13. The Dream State or the Condition of Taijasa 14. The State of Deep Sleep or the Condition of Prajna 15. The Unconditioned State of Atma 16. The Symbolical Representation of Atma and its Conditions by the Sacred Monosyllable Om 17. The Posthumous Evolution of the Human Being 18. The Reabsorption of the Individual Faculties 19. Differences in the Posthumous Conditions According to the Degrees of Knowledge 20. The Coronal Artery and the Solar Ray 21. The Divine Journey of the Being on the Path of Liberation 22. Final Deliverance 23. Videha-mukti and Jivana-mukti 24. The Spiritual State of the Yogi : The Supreme Identity. (shrink)

Buddhist concepts of personal life and responsibilities.

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a substructural logic, QNL is the axiomatic extension of the Full Lambek Calculus with Exchange and Weakening by the Nelson axiom, and its algebraic counterpart is a variety of residuated lattices called quasi-Nelson algebras. Nelson's logic, in turn, may be obtained as the axiomatic extension of QNL by the double negation (or involutivity) axiom, and intuitionistic logic as the (...) extension of QNL by the contraction axiom. A recent series of papers by the author and collaborators initiated the study of fragments of QNL, which correspond to subreducts of quasi-Nelson algebras. In the present paper we focus on fragments that contain the connectives forming a residuated pair (the monoid conjunction and the so-called strong Nelson implication), these being the most interesting ones from a substructural logic perspective. We provide quasi-equational (whenever possible, equational) axiomatisations for the corresponding classes of algebras, obtain twist representations for them, study their congruence properties and take a look at a few notable subvarieties. Our results specialise to the involutive case, yielding characterisations of the corresponding fragments of Nelson's logic and their algebraic counterparts. (shrink)

QUALITY AND QUANTITY are fairly generally regarded as complementary terms, although the profound reason for their comple- mentarism is often far from being understood, this reason lying in the 'polar' correspondence referred to toward ...

The concluding chapter lays down the essential conditions for any genuine understanding between East and West, which can only come through the work of those who have attained, at least in some degree, to the realization of 'wisdom uncreate' ...

The objective of this study is twofold: to examine the patterns that govern social reporting with reference to an Islamic framework and to identify the moral legitimacy factors that influence them. We select 146 publicly listed Sharia‐compliant companies and classify the disclosures in their annual reports according to an Islamic framework that categorises items as either Required, Expected or Desired to indicate the degree of importance each item carries from an Islamic perspective. Based on this framework, we then analyse moral (...) legitimacy factors, specifically the type of Sharia screening body and the proportion of Muslims in the population, that may influence the prioritisation of the different categories of social reporting. We find that disclosures that fall into the Required category of our framework—especially those that relate to companies’ involvement in “haram” activities (activities not permissible in Islam)—are still few among the companies studied. Our research also reveals that both moral legitimacy factors under investigation influence the three categories of social reporting, although in different ways. This research contributes to the existing literature by empirically examining how organisations prioritise their disclosure of virtues and the moral legitimacy factors that influence that prioritisation. (shrink)