230 research outputs found
New Formalized Results on the Meta-Theory of a Paraconsistent Logic
Classical logics are explosive, meaning that everything follows from a contradiction. Paraconsistent logics are logics that are not explosive. This paper presents the meta-theory of a paraconsistent infinite-valued logic, in particular new results showing that while the question of validity for a given formula can be reduced to a consideration of only finitely many truth values, this does not mean that the logic collapses to a finite-valued logic. All definitions and theorems are formalized in the Isabelle/HOL proof assistant
Inconsistency Management from the Standpoint of Possibilistic Logic
International audienceUncertainty and inconsistency pervade human knowledge. Possibilistic logic, where propositional logic formulas are associated with lower bounds of a necessity measure, handles uncertainty in the setting of possibility theory. Moreover, central in standard possibilistic logic is the notion of inconsistency level of a possibilistic logic base, closely related to the notion of consistency degree of two fuzzy sets introduced by L. A. Zadeh. Formulas whose weight is strictly above this inconsistency level constitute a sub-base free of any inconsistency. However, several extensions, allowing for a paraconsistent form of reasoning, or associating possibilistic logic formulas with information sources or subsets of agents, or extensions involving other possibility theory measures, provide other forms of inconsistency, while enlarging the representation capabilities of possibilistic logic. The paper offers a structured overview of the various forms of inconsistency that can be accommodated in possibilistic logic. This overview echoes the rich representation power of the possibility theory framework
Paraconsistência em lógica híbrida
Mestrado em Matemática e AplicaçõesThe use of hybrid logics allows the description of relational structures, at the
same time that allows establishing accessibility relations between states and,
furthermore, nominating and making mention to what happens at speci c
states.
However, the information we collect is subject to inconsistencies, namely,
the search for di erent information sources can lead us to pick up contradictions.
Nowadays, by having so many means of dissemination available,
that happens frequently.
The aim of this work is to develop tools capable of dealing with contradictory
information that can be described as hybrid logics' formulas. To build
models, to compare inconsistency in di erent databases, and to see the applicability
of this method in day-to-day life are the basis for the development
of this dissertation.O uso de lógicas híbridas permite a descrição de estruturas relacionais, ao mesmo tempo que permite estabelecer relações de acessibilidade entre
estados, e, para além disso, nomear e fazer referência ao que acontece em
estados específicos.
No entanto, a informação que recolhemos está sujeita a inconsistências,
isto é, a procura de diferentes fontes de informação pode levar a recolha
de contradições. O que nos dias de hoje, com tantos meios de divulgação
disponíveis, acontece frequentemente.
O objetivo deste trabalho e desenvolver ferramentas capazes de lidar com informação contraditória que possa ser descrita através de fórmulas de lógicas
híbridas. Construir modelos e comparar a inconsistência de diferentes bases
de dados e ver a aplicabilidade deste método no dia-a-dia são a base para
o desenvolvimento desta dissertação
Characterization of quantum states in predicative logic
We develop a characterization of quantum states by means of first order
variables and random variables, within a predicative logic with equality, in
the framework of basic logic and its definitory equations. We introduce the
notion of random first order domain and find a characterization of pure states
in predicative logic and mixed states in propositional logic, due to a focusing
condition. We discuss the role of first order variables and the related
contextuality, in terms of sequents.Comment: 14 pages, Boston, IQSA10, to appea
Iterated reflection principles over full disquotational truth
Iterated reflection principles have been employed extensively to unfold
epistemic commitments that are incurred by accepting a mathematical theory.
Recently this has been applied to theories of truth. The idea is to start with
a collection of Tarski-biconditionals and arrive by finitely iterated
reflection at strong compositional truth theories. In the context of classical
logic it is incoherent to adopt an initial truth theory in which A and 'A is
true' are inter-derivable. In this article we show how in the context of a
weaker logic, which we call Basic De Morgan Logic, we can coherently start with
such a fully disquotational truth theory and arrive at a strong compositional
truth theory by applying a natural uniform reflection principle a finite number
of times
- …