Sunday, February 7, 2016

 

 



Soy un nuevo usuario

Olvidé mi contraseña

Entrada usuarios

Lógica Matemáticas Astronomía y Astrofísica Física Química Ciencias de la Vida
Ciencias de la Tierra y Espacio Ciencias Agrarias Ciencias Médicas Ciencias Tecnológicas Antropología Demografía
Ciencias Económicas Geografía Historia Ciencias Jurídicas y Derecho Lingüística Pedagogía
Ciencia Política Psicología Artes y Letras Sociología Ética Filosofía
 

rss_1.0 Clasificación por Disciplina

Nomenclatura Unesco > (11) Lógica > (1103) Lógica general

Mostrando recursos 1 - 20 de 2,197

1. Los créditos tributarios concursales - Martínez Giner, Luis Alfonso
En relación con la Hacienda Pública y el crédito tributario, el criterio establecido en la Ley Concursal basado en la preferencia del sacrificio conjunto de los acreedores en beneficio de la continuidad de la actividad frente a la liquidación de la empresa y la satisfacción parcial de aquéllos, como forma de estimular la creación de riqueza, ha supuesto algunos importantes efectos sobre aquélla. Esa filosofía llevó al legislador a reducir en 2003 “drásticamente los privilegios y preferencias a efectos del concurso”, lo que en relación con nuestro ámbito de estudio ha dado en llamarse una importante poda de privilegios. Ello...

2. Eye vascular hemodynamics in patients with anterior ischemic optic neuropathy after surgery with application of the Alloplant biomaterial - V. U. Galimova,; I. V. Verzakova; Z. Kh. Karimova; E. M. Gareev

Purpose: To study the optic nerve vascular hemodynamics in patients with anterior ischemic optic neuropathy (AION) before and after application of the Alloplant biomaterial.


Methods: The ultrasound diagnostic system General Electric Ultrasound Logic 7 (U. S.) was used to study hemodynamics. The study was initially conducted before the intervention and after the insertion of the Alloplant biomaterial in subtenon space in a retrobulbar way in the period from 3 to 6 months. The qualitative and quantitative parameters were determined: peak systolic flow velocity (Vmax), final diastolic velocity (Vmin), the index of peripheral resistance to blood flow (resistance index — RI), pulsation index (PI). According to...

3. THE CONCEPT OF «DEGREE OF FAULT» AS THEORETICAL CHARACTERISTICS OF INDIVIDUALIZATION OF GUILT AND CRITERIA LEGAL RESPONSIBILITY - Ekaterina Valerievna Yurchak

The term «degree of fault» is quantitative, it expressed relative burden of guilt, the intensity of mental attitude to face the acts committed. This term is often used in the theory of criminal, civil, labor law, and in judicial practice. Unfortunately, in modern studies of the offense and the legal liability, the question of the degree of guilt proper lighting not found.

The goal of this study – to investigate one of the basic characteristics of the theoretical fault – her degree, to show how it is determined and what influence on the legal liability and punishment.


4. Multiple imputation of missing categorical data using latent class models: State of the art - Davide Vidotto; Maurits C. Kaptein; Jeroen K. Vermunt
This paper provides an overview of recent proposals for using latent class models for the multiple imputation of missing categorical data in large-scale studies. While latent class (or finite mixture) modeling is mainly known as a clustering tool, it can also be used for density estimation, i.e., to get a good description of the lower- and higher-order associations among the variables in a dataset. For multiple imputation, the latter aspect is essential in order to be able to draw meaningful imputing values from the conditional distribution of the missing data given the observed data. We explain the general logic underlying the...

5. Contribucions a la teoria de l'aresta-acoloriment de grafs : snarks i multipols - Vilaltella Castanyer, Joan, 1969-
A graph where every vertex has three neighboring vertices is a cubic graph. An edge-coloring is an assignment of colors to the edges of a graph in such a way that the edges incident to a vertex have no repeated colors. An edge-coloring is optimal if it uses the minimum possible number of colors. Vizing's Theorem implies that an optimal edge-coloring of a cubic graph requires three or four colors. If three colors are enough, we call the edge-coloring a Tait-coloring. If four colors are needed, we call the graph a snark. Holyer proved that deciding wether a cubic graph...

6. LA ESTRUCTURA LÓGICA DE LA TEORÍA GENERAL DE KEYNES: UNA CRÍTICA DE BENETTI - Michel De Vroey
Este artículo critica el de Benetti "La estructura lógica de la Teoría General de Keynes" Critico el argumento de Benetti de que se necesita una secuencia de tres modelos para fundamentar el concepto de Keynes del desempleo involuntario. De igual forma, critico la idea adelantada por Patinkin y adoptada por Benetti, de que el capitulo 19 de la Teoría General constituye el climax de libro de Keynes y proporciona una explicación de desempleo involuntario en un contexto de precios flexibles.

7. LA ESTRUCTURA LÓGICA DE LA TEORÍA GENERAL DE KEYNES - Carlo Benetti
El objetivo de este artículo es la construcción de la teoría de Keynes, concebida como una estructura compuesta por tres modelos generales y de base que se deducen unos de otros. Se muestra que la ley de Say, a la que se opone Keynes, se puede formalizar por medio de un modelo “recursivo por la oferta”. La crítica de Keynes conduce a un modelo diferente: “uno no walrasiano y de interdependencia general” que no admite la critica del ajuste al equilibrio de pleno empleo. Es un modelo de referencia a partir del cual, en una tercera etapa, se obtiene el...

8. Proyección de la Norma Terminológica Internacional ISO 29383 en el contexto de las exportaciones colombianas - Juan Carlos Díaz Vásquez
Objetivo: el presente artículo se propone exponer la aplicabilidad de la Norma Terminológica Internacional ISO 29383, y su influencia positiva, en el contexto de las exportaciones en Colombia. Por otro lado, busca mostrar parte del trabajo desarrollado en la tesis ''Aplicación de normas terminológicas internacionales en el sector exportador colombiano'', presentada en la Universidad de Viena, Austria. La sección que se expone en este artículo hace parte igualmente del trabajo al interior del Comité Técnico Internacional ISO/TC 37, en cuanto al desarrollo de normas termino-lógicas que buscan tener una aplicabilidad general en los más diversos contextos. Uno de ellos es...

9. An introduction to general logic [microform]. - Jones, E. E. Constance.
Microfilm.

10. Why do we need Justification Logic - Sergei Artemov; Sergei Artemov
In this paper, we will sketch the basic system of Justification Logic, which is a general logical framework for reasoning about epistemic justification. Justification Logic renders a new, evidence-based foundation for epistemic logic. As a case study, we compare formalizations of the Kripke ‘Red Barn ’ scenario in modal epistemic logic and Justification Logic and show here that the latter provides a deeper analysis. In particular, we argue that modal language fails to fully represent the epistemic closure principle whereas Justification Logic provides its adequate formalization. 1

11. From clarity to efficiency for distributed algorithms - Yanhong A. Liu; Scott D. Stoller; Bo Lin
ar

12. A well-founded semantics for basic logic programs with arbitrary abstract constraint atoms - Yisong Wang; Fangzhen Lin; Mingyi Zhang; Jia-huai You
Logic programs with abstract constraint atoms proposed by Marek and Truszczynski are very general logic pro-grams. They are general enough to capture aggregate logic programs as well as recently proposed descrip-tion logic programs. In this paper, we propose a well-founded semantics for basic logic programs with arbi-trary abstract constraint atoms, which are sets of rules whose heads have exactly one atom. We show that sim-ilar to the well-founded semantics of normal logic pro-grams, it has many desirable properties such as that it can be computed in polynomial time, and is always cor-rect with respect to the answer set semantics. This...

13. Encoding dependent types in intuitionistic logic - Amy Felty; Inria Rocquencourt; Domaine De Voluceau; Le Chesnay Cedex
Various languages have been proposed as specication languages for representing a wide variety of logics. The development of typed -calculi has been one approach toward this goal. The logical framework (LF), a -calculus with dependent types is one example of such a language. A small subset of intuitionistic logic with quantication over the simply typed -calculus has also been proposed as a framework for specifying general logics. The logic of hereditary Harrop formulas with quantication at all non-predicate types, denoted here as hh, is such a meta-logic. In this paper, we show how to translate speci cations in LF into...

14. Curry without Success - Sergio Antoy; Michael Hanus
Abstract. Curry is a successful, general-purpose, functional logic programming language that predefines a singleton type Success explicitly to support its logic component. We take the likely-controversial position that without Success Curry would be as much logic or more. We draw a short history and motivation for the existence of this type and justify why its elimination could be advantageous. Fur-thermore, we propose a new interpretation of rule application which is convenient for programming and increases the similarity between the functional component of Curry and functional programming as in Haskell. We outline some related theoretical (semantics) and practical (implementation) consequences of...

15. La investigación en teoría sociológica: el abordaje problemático y la comunidad - Bialakowsky, Alejandro
Esta ponencia se propone analizar el vínculo entre las reflexiones sobre la investigación en teoría sociológica y la cuestión de la comunidad. En los últimos años se han revisado los álgidos debates, que tuvieron lugar en las décadas de 1980 y 1990, acerca de la indagación teórica en sociología. Allí se destacaron las perspectivas de Jeffrey Alexander acerca de la “lógica teórica” y la multidimensionalidad de presupuestos generales, y la de George Ritzer sobre la “metateoría” y la condición multiparadigmática de las ciencias sociales. Asimismo, una serie de impugnaciones de peso a estos autores fueron parte de tales intercambios. A...

16. Formal semantics for propositional attitudes - Daniel Vanderveken
Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general model-theoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or preparatory conditions. According to standard logic of attitudes (Hintikka), human agents are either perfectly rational or totally irrational. I...

17. Fuzzy Energy Management for Photovoltaic Water Pumping System - Imene Yahyaoui; Maher Chaabene; Fernando Tadeo
A Fuzzy energy management algorithm for a photovoltaic water pumping installation is presented and validated experimentally, using a plant composed of photovoltaic panels, battery banks, DC/AC converters, relays and a water pump. Considering many criteria related to the battery safe operation, fulfilling the water volume needed by the crops and ensuring a continuous function of the pump, the algorithm decides the switching of the relays, which link the installation’ components. The algorithm is evaluated for a specific case study: tomato irrigation in Tunisia. Obtained results confirm that the irrigation water demand is covered during the season with a minimum use...

18. Implementation of Reversible Logic Gate in Quantum Dot Cellular Automata - Rubina Akter; Nazrul Islam; Mawlana Bhashani Science; Sajjad Waheed
Quantum Dot Cellular Automata (QCA) is a nanotechnology with many attractive features such as higher speed, smaller size, higher switching frequency, higher scale integration and low power consumption. There are many researches have been reported on the design of reversible logic gates compared to the reversible TR. This paper proposes a modified design of the reversible Feynman gate and also propose reversible TR gate, then design 1-bit comparator using reversible TR gates and Feynman Gate. The result shows an efficient technique to design Feynman gate and one bit comparator. The proposed gates can be easily used to design complex circuits...

19. Aristotle's ategorical Syllogisms as Dialectical Games. Work in Progress - Rahman, Shahid; Crubellier, Michel; Mcconaughey, Zoe
It is the introduction of book in Preparation on the links between Aristotle's Logic and his dialectics The main claim is that nowadays dialogical frame for logic provides the most accurate reconstruction of Arisotl'es general notion of logic

20. From Universal Logic to Computer Science, and back - Alfred Tarski; Haskell Curry; Roman Suszko; Saul Kripke; Dana Scott; Dov Gabbay
Abstract. Computer Science has been long viewed as a consumer of mathematics in general, and of logic in particular, with few and minor contributions back. In this article we are challenging this view with the case of the relationship between specification theory and the universal trend in logic. 1 From Universal Logic... Although universal logic has been clearly recognised as a trend in mathematical logic since about one decade only, mainly due to the efforts of Jean-Yves Béziau and his colleagues, it had a presence here and there since much longer. For example the anthology [9] traces universal logic ideas...

Página de resultados:
 

Busque un recurso