9,031 research outputs found
Interval-valued algebras and fuzzy logics
In this chapter, we present a propositional calculus for several interval-valued fuzzy logics, i.e., logics having intervals as truth values. More precisely, the truth values are preferably subintervals of the unit interval. The idea behind it is that such an interval can model imprecise information. To compute the truth values of ‘p implies q’ and ‘p and q’, given the truth values of p and q, we use operations from residuated lattices. This truth-functional approach is similar to the methods developed for the well-studied fuzzy logics. Although the interpretation of the intervals as truth values expressing some kind of imprecision is a bit problematic, the purely mathematical study of the properties of interval-valued fuzzy logics and their algebraic semantics can be done without any problem. This study is the focus of this chapter
Merging fragments of classical logic
We investigate the possibility of extending the non-functionally complete
logic of a collection of Boolean connectives by the addition of further Boolean
connectives that make the resulting set of connectives functionally complete.
More precisely, we will be interested in checking whether an axiomatization for
Classical Propositional Logic may be produced by merging Hilbert-style calculi
for two disjoint incomplete fragments of it. We will prove that the answer to
that problem is a negative one, unless one of the components includes only
top-like connectives.Comment: submitted to FroCoS 201
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics
Interpolation Methods for Binary and Multivalued Logical Quantum Gate Synthesis
A method for synthesizing quantum gates is presented based on interpolation
methods applied to operators in Hilbert space. Starting from the diagonal forms
of specific generating seed operators with non-degenerate eigenvalue spectrum
one obtains for arity-one a complete family of logical operators corresponding
to all the one-argument logical connectives. Scaling-up to n-arity gates is
obtained by using the Kronecker product and unitary transformations. The
quantum version of the Fourier transform of Boolean functions is presented and
a Reed-Muller decomposition for quantum logical gates is derived. The common
control gates can be easily obtained by considering the logical correspondence
between the control logic operator and the binary propositional logic operator.
A new polynomial and exponential formulation of the Toffoli gate is presented.
The method has parallels to quantum gate-T optimization methods using powers of
multilinear operator polynomials. The method is then applied naturally to
alphabets greater than two for multi-valued logical gates used for quantum
Fourier transform, min-max decision circuits and multivalued adders
Eigenlogic: a Quantum View for Multiple-Valued and Fuzzy Systems
We propose a matrix model for two- and many-valued logic using families of
observables in Hilbert space, the eigenvalues give the truth values of logical
propositions where the atomic input proposition cases are represented by the
respective eigenvectors. For binary logic using the truth values {0,1} logical
observables are pairwise commuting projectors. For the truth values {+1,-1} the
operator system is formally equivalent to that of a composite spin 1/2 system,
the logical observables being isometries belonging to the Pauli group. Also in
this approach fuzzy logic arises naturally when considering non-eigenvectors.
The fuzzy membership function is obtained by the quantum mean value of the
logical projector observable and turns out to be a probability measure in
agreement with recent quantum cognition models. The analogy of many-valued
logic with quantum angular momentum is then established. Logical observables
for three-value logic are formulated as functions of the Lz observable of the
orbital angular momentum l=1. The representative 3-valued 2-argument logical
observables for the Min and Max connectives are explicitly obtained.Comment: 11 pages, 2 table
- …