Controlo e limites dos princípios constitucionais da proporcionalidade e da igualdade no contexto da inspeção tributária

Dissertação de mestrado em Direito Tributário e Fiscal

Necesidad lógica y lógica condicional

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

Necesidad lógica y lógica condicional

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

Necesidad lógica y lógica condicional

El artículo pretende, en primer lugar, caracterizar brevemente la idea de verdad necesaria en Leibniz a los efectos de mostrar cómo en el desarrollo de las investigaciones lógicas ella se ha ido debilitando al extremo de convertirse en una de las tantas posibles interpretaciones del operador de necesidad. Se muestra, además, que ello ha sucedido tanto en los sistemas generados a partir de las semánticas de Kripke para la lógica modal clásica como para los sistemas de lógica, para los condicionales contrafácticos de David Lewis y para los condicionales derrotables de Carlos Alchourrón.

Transreal logical space of all propositions

Transreal numbers provide a total semantics containing classical truth values, dialetheaic, fuzzy and gap values. A paraconsistent Sheffer Stroke generalises all classical logics to a paraconsistent form. We introduce logical spaces of all possible worlds and all propositions. We operate on a proposition, in all possible worlds, at the same time. We define logical transformations, possibility and necessity relations, in proposition space, and give a criterion to determine whether a proposition is classical. We show that proofs, based on the conditional, infer gaps only from gaps and that negative and positive infinity operate as bottom and top values.

Facial Changes After Early Treatment Of Unilateral Coronal Synostosis Question The Necessity Of Primary Nasal Osteotomy.

The premature fusion of unilateral coronal suture can cause a significant asymmetry of the craniofacial skeleton, with an oblique deviation of the cranial base that negatively impacts soft tissue facial symmetry. The purpose of this study was to assess facial symmetry obtained in patients with unilateral coronal synostosis (UCS) surgically treated by 2 different techniques. We hypothesized that nasal deviation should not be addressed in a primary surgical correction of UCS. Consecutive UCS patients were enrolled in a prospective study and randomly divided into 2 groups. In group 1, the patients underwent total frontal reconstruction and transferring of onlay bone grafts to the recessive superior orbital rim (n = 7), and in group 2, the patients underwent total frontal reconstruction and unilateral fronto-orbital advancement (n = 5). Computerized photogrammetric analysis measured vertical and horizontal axis of the nose and the orbital globe in the preoperative and postoperative periods. Intragroup and intergroup comparisons were performed. Intragroup preoperative and postoperative comparisons showed a significant (all P < 0.05) reduction of the nasal axis and the orbital-globe axis in the postoperative period in the 2 groups. Intergroup comparisons showed no significant difference (all P > 0.05). Facial symmetry was achieved in the patients with UCS who underwent surgery regardless of surgical approach evaluated here. Our data showed a significant improvement in nasal and orbital-globe deviation, leading us to question the necessity of primary nasal correction in these patients.

SOME REMARKS ON THE YOGASUTRA

In this article are discussed some problems raised by T. S. Rukmani regarding the Yogasutra. According to Rukmani, yoga is not a coherent logical system. After stating the general goals of the yoga system, interpretations of some passages of the Yogasutra are formulated, and the defense is given that one must at least acknowledge the necessity of more exegetical investigation before judging the logical incoherence of the text. Finally, the problematic doctrine of living liberation in Yogasutra is exposed.

BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to describe agents and agent types in Defeasible Logic. We argue, in particular, that the introduction of obligations can provide a new reading of the concepts of intention and intentionality. Then we examine the notion of social agent (i.e., an agent where obligations prevail over intentions) and discuss some computational and philosophical issues related to it. We show that the notion of social agent either requires more complex computations or has some philosophical drawbacks.

Agents as multi-threaded logical objects

In this paper we describe a distributed object oriented logic programming language in which an object is a collection of threads deductively accessing and updating a shared logic program. The key features of the language, such as static and dynamic object methods and multiple inheritance, are illustrated through a series of small examples. We show how we can implement object servers, allowing remote spawning of objects, which we can use as staging posts for mobile agents. We give as an example an information gathering mobile agent that can be queried about the information it has so far gathered whilst it is gathering new information. Finally we define a class of co-operative reasoning agents that can do resource bounded inference for full first order predicate logic, handling multiple queries and information updates concurrently. We believe that the combination of the concurrent OO and the LP programming paradigms produces a powerful tool for quickly implementing rational multi-agent applications on the internet.

A Sensorless PMDC Motor Speed Controller with a Logical Overcurrent Protection

A method to control the speed or the torque of a permanent-magnet direct current motor is presented. The rotor speed and the external torque estimation are simultaneously provided by appropriate observers. The sensorless control scheme is based on current measurement and switching states of power devices. The observer’s performances are dependent on the accurate machine parameters knowledge. Sliding mode control approach was adopted for drive control, providing the suitable switching states to the chopper power devices. Despite the predictable chattering, a convenient first order switching function was considered enough to define the sliding surface and to correspond with the desired control specifications and drive performance. The experimental implementation was supported on a single dsPIC and the controller includes a logic overcurrent protection.

Timing analysis of a multiple logical ring wired/wireless PROFIBUS network

Recently, there have been a few research efforts towards extending the capabilities of fieldbus networks to encompass wireless support. In previous works we have proposed a hybrid wired/wireless PROFIBUS network solution where the interconnection between the heterogeneous communication media was accomplished through bridge-like interconnecting devices. The resulting networking architecture embraced a multiple logical ring (MLR) approach, thus with multiple independent tokens, to which a specific bridging protocol extension, the inter-domain protocol (IDP), was proposed. The IDP offers compatibility with standard PROFIBUS, and includes mechanisms to support inter-cell mobility of wireless nodes. We advance that work by proposing a worst-case response timing analysis of the IDP.

LNT: a logical neighbor tree secure group communication scheme for wireless sensor networks

Secure group communication is a paradigm that primarily designates one-to-many communication security. The proposed works relevant to secure group communication have predominantly considered the whole network as being a single group managed by a central powerful node capable of supporting heavy communication, computation and storage cost. However, a typical Wireless Sensor Network (WSN) may contain several groups, and each one is maintained by a sensor node (the group controller) with constrained resources. Moreover, the previously proposed schemes require a multicast routing support to deliver the rekeying messages. Nevertheless, multicast routing can incur heavy storage and communication overheads in the case of a wireless sensor network. Due to these two major limitations, we have reckoned it necessary to propose a new secure group communication with a lightweight rekeying process. Our proposal overcomes the two limitations mentioned above, and can be applied to a homogeneous WSN with resource-constrained nodes with no need for a multicast routing support. Actually, the analysis and simulation results have clearly demonstrated that our scheme outperforms the previous well-known solutions.

Necessity to review the Brazilian regulation about fluoride toothpastes

The aim of this study was to evaluate the adequacy of the Brazilian legislation about fluoride toothpaste. A search was conducted in LILACS, Medline and SciELO databases about the fluoride concentration found in Brazilians toothpastes, using descriptors on health. Publications since 1981 have shown that some Brazilian toothpastes are not able to maintain, during their expiration time, a minimum of 1,000 ppm F of soluble fluoride in the formulation. However, the Brazilian regulation (ANVISA, Resolution 79, August 28, 2000) only sets the maximum total fluoride (0.15%; 1,500 ppm F) that a toothpaste may contain but not the minimum concentration of soluble fluoride that it should contain to have anticaries potential, which according to systematic reviews should be 1,000 ppm F. Therefore, the Brazilian regulation on fluoride toothpastes needs to be revised to assure the efficacy of those products for caries control.