Inconsistency Logic
Mostrando 1-12 de 14 artigos, teses e dissertações.
-
1. TWO-VALUED WEAK KLEENE LOGICS
Abstract In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming that every logic can be presented in a two-valued fashion. In this paper, we provide two-valued semantics for the Weak Kleene logics and for a number of four-valued subsystems of them. We do the s
Manuscrito. Publicado em: 15/04/2019
-
2. BOOK REVIEW: CARNIELLI, Walter & MALINOWSKI, Jacek (eds.). Contradictions, from Consistency to Inconsistency (Trends in Logic 47, Springer International Publishing, 2018, VI+322 pages)
Abstract In this review I briefly analyse the main elements of each chapter of the book centred in the general areas of logic, epistemology, philosophy and history of science. Most of them are developed around a fine-grained investigation on the principle of non-contradiction and the concept of consistency, inquired mainly into the broad area of paraconsiste
Manuscrito. Publicado em: 02/04/2019
-
3. TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY
Abstract In this paper we present a philosophical motivation for the logics of formal inconsistency , a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view a
Manuscrito. Publicado em: 06/10/2015
-
4. Explorando informações texturais das visões crânio-caudal e médio-lateral oblíqua para extração e classificação Fuzzy de imagens mamográficas / Explorando informações texturais das visões crânio-caudal e médio-lateral oblíqua para extração e classificação Fuzzy de imagens mamográficas
The computerized system to support detection and diagnosis (Computer Aided Detection or Diagnosis - CAD) is a tool for medical help that has been used to identify and diagnose abnormalities in breast tissue. Although CAD systems have provided a large number of research and increased sensitivity, the majority analyzes the MLO and CC views independently. Exper
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/11/2010
-
5. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
6. Logicas da inconsistencia deontica / Logics of Deontic inconsistency
This work expose briefly what are the Logics of Formal Inconsistency ...Note: The complete abstract is available with the full electronic digital thesis or dissertations
Publicado em: 2009
-
7. Logicas da inconsistencia formal quantificadas / Quantified logics of formal inconsistency
This dissertation aims to develop a sound and complete semantics for a class of first-order logics known as Logics of Formal Inconsistency (LFIs). After general explanation about paraconsistent and first-order semantics, a particular LFI, labeled QmbC, will be characterized by means of an axiom system. Then a sound and complete semantics for it will be const
Publicado em: 2008
-
8. Dilemas deonticos : uma abordagem baseada em relações de preferencia / Deontic dilemmas : an approach based on preference relations
Nosso objetivo neste trabalho é apresentar uma proposta de solução a paradoxos relacionados à lógica deôntica presentes na literatura, reunidos sob o que é chamado de dilemas deônticos - situações nas quais duas obrigações conflitantes estão presentes num mesmo sistema normativo. Situações deste tipo, quando formalizadas (em SDL - standard deo
Publicado em: 2008
-
9. "Um provador de teoremas multi-estratégia" / A Multi-Strategy Tableau Prover
Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teorema
Publicado em: 2007
-
10. Em que ponto estamos? Sessenta anos de reformas institucionais na Itália (1946-2005)
The aim of this article is to show how the reforms adopted by Italy in the 1990s resulted from decades of experience during the country’s Republican period (1946-2005). The article focuses on the successful electoral and regimental reforms in order to "unveil" the underlying logic in the reform dynamics during the period under study. Having acknowledged th
Dados. Publicado em: 2006
-
11. Analysis of craniometric variables throughout paraconsistent logic neural network / Modelo de análise de variáveis craniométricas através das redes neurais artificiais paraconsistentes
This work shows the development of an unequal craniometric analysis model, which uses Paraconsistent Neural Network, based upon Paraconsistent Logic with two values. Such logical approach has the capability to handle concepts as uncertainness, inconsistency and paracompleteness. It has been used on diverse applications which present such features, constituti
Publicado em: 2006
-
12. Logics of formal inconsistency
According to the classical consistency presupposition, contradictions have an explosive character: Whenever they are present in a theory, anything goes, and no sensible reasoning can thus take place. A logic is paraconsistent if it disallows such presupposition, and allows instead for some inconsistent yet non-trivial theories to make perfect sense. The Logi
Publicado em: 2005