Logical Systems
Mostrando 1-12 de 95 artigos, teses e dissertações.
-
1. ON A NEW APPROACH TO PEIRCE’S THREE-VALUE PROPOSITIONAL LOGIC
Abstract In 1909, Peirce recorded in a few pages of his logic notebook some experiments with matrices for three-valued propositional logic. These notes are today recognized as one of the first attempts to create non-classical formal systems. However, besides the articles published by Turquette in the 1970s and 1980s, very little progress has been made toward
Manuscrito. Publicado em: 2022
-
2. Semiótica do absurdo e do sem-sentido: uma perspectiva lotmaninana
RESUMO Absurdo e falta de sentido são geralmente estudados como categorias filosóficas e/ou lógicas. Este artigo examina o absurdo como um fenômeno semiótico e como parte dos mecanismos de geração de significado. Argumenta que o problema do absurdo e do significado como um todo é, acima de tudo, um problema textual. Esta abordagem se fundamenta no le
Bakhtiniana, Rev. Estud. Discurso. Publicado em: 14/11/2019
-
3. Ecological capability evaluation for afforestation and forest expansion using Geographic Information System (GIS) in management area of Caspian Sea
Abstract Ecological capability evaluation is referred to as evaluation of potential capability of land and determination of its natural land use. In this paper, ecological capability of Lille Basin in Lahijan was evaluated for afforestation and forest expansion using Geographical Information Systems (GIS). For this purpose, information layers (slope, elevati
An. Acad. Bras. Ciênc.. Publicado em: 18/10/2018
-
4. Omniscience and Semantic Information
ABSTRACT First, I consider a few motivations to idealize epistemic logics1 in such a degree that brings up the problem of logical omniscience [LOP]. I argue that the main motivation to hold omniscience is of a philosophical-scientific2 background (Stalnaker 1991), in the sense philosophers have a not so peculiar way of investigating underlying mechanisms, i.
Manuscrito. Publicado em: 2017-12
-
5. Electromechanical Impedance - Based Structural Health Monitoring Instrumentation System Applied to Aircraft Structures and Employing a Multiplexed Sensor Array
ABSTRACT: The electromechanical impedance method has been seen as a promising tool for structural health monitoring regarding different types of structures and purposes. Most importantly, this method can be used in real-time applications. Frequently, massive, high-cost, single-channel impedance analyzers are used to process the time domain data, aiming at ob
J. Aerosp. Technol. Manag.. Publicado em: 2015-09
-
6. Wi-Bio: management policy aimed at the establishment of networks for patient monitoring using IEEE 802.11
INTRODUCTION: Patient monitoring will tend to decline in the coming years due to a shortage of physical and human resources in hospitals. Therefore, several studies define alternatives to improve patient monitoring using wireless networks. In these studies, a wireless network is used to transfer data generated by medical sensors without interacting with the
Rev. Bras. Eng. Bioméd.. Publicado em: 2014-06
-
7. IMFLAR: An Intuitive Method for Logical Avionics Reliability
ABSTRACT: The continued growth of the general aviation fleet demands the need of forever improved preventive methods of failure analysis, in order to reduce the number of incidents or accidents. It has been proved that one possible solution to avoid unsafe conditions is the installation of new avionic systems. This article presents the method named IMFLAR -
J. Aerosp. Technol. Manag.. Publicado em: 2013-03
-
8. Correlação entre fato e decisão no processo penal e no processo administrativo tributário
Esta pesquisa tem por objetivo realizar a confrontação entre o processo administrativo tributário e o processo penal, em especial no que tange à correlação entre o fato processual e a decisão a ser produzida em cada uma dessas modalidades processuais. Diante dessa análise, busca verificar se os princípios informadores do processo penal podem ser imp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/05/2012
-
9. Da modelagem Conceitual à RepresentaÃÃo LÃgica de TrajetÃrias em SGBDOR e Sistemas de DW / From Conceptual Modeling to Logical Representation of Trajectories in SGBDOR and DW Systems
Com o aumento do nÃmero de dispositivos mÃveis equipados com serviÃos de localizaÃÃo geogrÃfica, tem se tornado cada vez mais economicamente e tecnicamente possÃvel capturar os percursos (i.e. trajetÃrias) dos objetos mÃveis. Muitas aplicaÃÃes interessantes tÃm sido desenvolvida com intuito de explorar anÃlises de trajetÃrias de objetos mÃveis
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
10. Controle preditivo de sistemas híbridos
A necessidade da indústria de aprimorar aspectos da produção como qualidade e eficiência fizeram com que técnicas e dispositivos de controle mais eficientes fossem adotados atendendo às diversidades que ocorrem nos sistemas. Porém, a maioria dos sistemas não caracteriza-se apenas pela dinâmica contínua geralmente aplicada a descrição de seu compo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/03/2011
-
11. O trabalho informal perante o sistema de previdência social, à luz da teoria comunicacional do direito / O trabalho informal perante o sistema de previdência social, à luz da teoria comunicacional do direito / The informal work in the social security system, from the viewpoint of the communicational theory of law / The informal work in the social security system, from the viewpoint of the communicational theory of law
This research has the scope of analyzing the informal work, very common in the current Brazilian scenario, into the current social insurance system, starting from the communicative conception of law. Indeed, the informality of employment relationship proves to be a major challenge for contemporary states, notably in the social insurance sphere, in which the
Publicado em: 2011
-
12. Sistemas EsquemÃticos de DeduÃÃo Natural: um Estudo Prova-TeÃrico / Schematic Natural Deduction Systems: A Proof-Theoretical Study
The term Theory Test was introduced by Hilbert to identify the study of formal proofs. Research in this area can be classified into: a) Proof Theory of reductive or interpretational, whose goal is to demonstrate, among other things, the consistency of mathematics using only methods finitistas, b) Structural Proof Theory, where the structural characteristics
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/03/2010