In this paper, we propose a new approach for iterated revision in possibilistic logic by applying a one-step revision operator. We first argue that the set of KM postulates for revision is too strong to define a practical one-step revision operator and some of them should be weakened. We then present a semantic approach for iterated revision in possibilistic logic using a one-step revision oper...

modernization has occurred in philosophical discourses of new sadrāi in form, method and content. changes and modernization also have occurred in the philosophy of mullā hadi sabzevari in relation with these issues. accordingly, we introduce him as initiator of the philosophical movement of new sadrāi. although his thought is in the line of sadrāi philosophy, there are some disagreements betwee...

It is proved that all groups of finite U -rank that have the descending chain condition on definable subgroups are totally transcendental. A corollary is that any stable group that is definable in an o-minimal structure is totally transcendental of finite Morley rank. Motivation for this paper is a problem concerning stable groups definable in ominimal structures. One theorem is that any defina...

This is a summary report of my recent articles. Nevanlinna theory asserts that each meromorphic mapping f of C into P(C) has few defects. However, it seems that meromorphic mappings with defects are very few. In this report, we shall show that for any given transcendental meromorphic mapping of C into P(C); there is a small deformation of f which has no Nevanlinna deficient hyperplanes in Pn(C)...

Monotonic modal logics form a generalisation of normal modal logics in which the additivity of the diamond modality has been weakened to monotonicity: 3p∨3q → 3(p∨q). This generalisation means that Kripke structures no longer form an adequate semantics. Instead monotonic modal logics are interpreted over monotonic neighbourhood structures, that is, neighbourhood structures where the neighbourho...

Hobson (2009) highlights the contribution of lucid dreaming research to the field of consciousness study. Hobson (2009) also sites a lack of paradigms and theoretical models of consciousness to advance lucid dreaming research. However in addition to Hobsons’ AIM model (Hobson, Pace-Schott & Stickgold, 2000), there exists discussions of developmental models of consciousness that include lucid dr...

The synthesis of polysyllogisms in Critical Logic is an important topic within the larger topic of Critical mathematics. My previous treatises (Wells, 2006; Wells, 2009) have touched upon the logical organization of the manifold of concepts and the manifold of rules in nous, but the levels and scopes of these works are too high and broad to have permitted a detailed exposition of the Logic of s...

‎In 1970‎, ‎Menegazzo [Gruppi nei quali ogni sottogruppo e intersezione di sottogruppi massimali‎, ‎ Atti Accad‎. ‎Naz‎. ‎Lincei Rend‎. ‎Cl‎. ‎Sci‎. ‎Fis‎. ‎Mat‎. ‎Natur. 48 (1970)‎, ‎559--562.] gave a complete description of the structure of soluble $IM$-groups‎, ‎i.e.‎, ‎groups in which every subgroup can be obtained as intersection of maximal subgroups‎. ‎A group $G$ is said to have the $FM$...

Introduction: The aim of this study was to evaluate the role of teeth and lips in the perception of smile esthetics.   Materials and Methods: Thirty women, ranging between 20 and 30 years of age, all with Class I canine and molar relationships and no history of orthodontic treatment, were chosen. Five black and white photographs were taken of each participant in a natural head position while s...